On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain (Englisch)
- Neue Suche nach: Gruner, Stefan
- Weitere Informationen zu Gruner, Stefan:
- http://d-nb.info/gnd/1140752316
- Neue Suche nach: Kumar, Apurva
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Roggenbach, Markus
- Weitere Informationen zu Roggenbach, Markus:
- http://d-nb.info/gnd/135988241
- Neue Suche nach: Gruner, Stefan
- Weitere Informationen zu Gruner, Stefan:
- http://d-nb.info/gnd/1140752316
- Neue Suche nach: Kumar, Apurva
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Roggenbach, Markus
- Weitere Informationen zu Roggenbach, Markus:
- http://d-nb.info/gnd/135988241
2020
-
ISBN:
- Buch / Print
-
Titel:On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain
-
Beteiligte:Gruner, Stefan ( Autor:in ) / Kumar, Apurva ( Autor:in ) / Maibaum, Tom ( Autor:in ) / Roggenbach, Markus ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2020
-
Format / Umfang:xii, 83 Seiten
-
Anmerkungen:Illustrationen, Diagramme
-
ISBN:
-
Medientyp:Buch
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 005.1 -
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Introduction and MotivationGruner, Stefan / Kumar, Apurva / Maibaum, Tom / Roggenbach, Markus et al. | 2020
- 2
-
Related WorkGruner, Stefan / Kumar, Apurva / Maibaum, Tom / Roggenbach, Markus et al. | 2020
- 3
-
A General Method for Composing an Engineering HBGruner, Stefan / Kumar, Apurva / Maibaum, Tom / Roggenbach, Markus et al. | 2020
- 4
-
Application of the General Method to the Railway DomainGruner, Stefan / Kumar, Apurva / Maibaum, Tom / Roggenbach, Markus et al. | 2020
- 5
-
Example HB Entry of a Formal Method for the Railway Domain — Step 6Gruner, Stefan / Kumar, Apurva / Maibaum, Tom / Roggenbach, Markus et al. | 2020
- 6
-
Conclusions and Prospects for Future WorkGruner, Stefan / Kumar, Apurva / Maibaum, Tom / Roggenbach, Markus et al. | 2020