E-Books durchsuchen
On the Construction of Engineering Handbooks [2020]
- 1
-
Introduction and Motivation
- 2
-
Related Work
- 3
-
A General Method for Composing an Engineering HB
- 4
-
Application of the General Method to the Railway Domain
- 5
-
Example HB Entry of a Formal Method for the Railway Domain — Step 6
- 6
-
Conclusions and Prospects for Future Work