On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain (English)
- New search for: Gruner, Stefan
- Further information on Gruner, Stefan:
- http://d-nb.info/gnd/1140752316
- New search for: Kumar, Apurva
- New search for: Maibaum, Tom
- New search for: Roggenbach, Markus
- Further information on Roggenbach, Markus:
- http://d-nb.info/gnd/135988241
- New search for: Gruner, Stefan
- Further information on Gruner, Stefan:
- http://d-nb.info/gnd/1140752316
- New search for: Kumar, Apurva
- New search for: Maibaum, Tom
- New search for: Roggenbach, Markus
- Further information on Roggenbach, Markus:
- http://d-nb.info/gnd/135988241
2020
-
ISBN:
- Book / Print
-
Title:On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain
-
Contributors:Gruner, Stefan ( author ) / Kumar, Apurva ( author ) / Maibaum, Tom ( author ) / Roggenbach, Markus ( author )
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
Size:xii, 83 Seiten
-
Remarks:Illustrationen, Diagramme
-
ISBN:
-
Type of media:Book
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 005.1 -
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 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