![](/img/cover-not-exists.png)
Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods
Zu Hörste, Michael Meyer, Parthasarathy, Srinivasan, Schnieder, EckehardVolume:
33
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)38133-8
Date:
June, 2000
File:
PDF, 1.27 MB
english, 2000