Conclusions and Prospects for Future Work (English)
- New search for: Gruner, Stefan
- New search for: Kumar, Apurva
- New search for: Maibaum, Tom
- New search for: Roggenbach, Markus
- New search for: Gruner, Stefan
- New search for: Kumar, Apurva
- New search for: Maibaum, Tom
- New search for: Roggenbach, Markus
In:
On the Construction of Engineering Handbooks
: with an Illustration from the Railway Safety Domain
;
Chapter: 6
;
77-78
;
2020
- Article/Chapter (Book) / Electronic Resource
-
Title:Conclusions and Prospects for Future Work
-
Additional title:SpringerBriefs Computer Sci.
-
Contributors:Gruner, Stefan ( author ) / Kumar, Apurva ( author ) / Maibaum, Tom ( author ) / Roggenbach, Markus ( author )
-
Published in:On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain ; Chapter: 6 ; 77-78
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2020-04-14
-
Size:2 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
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