Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods
IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany
2001-01-01
6 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Extending the Notation of Rational Rose 98 for Use With Formal Methods
British Library Conference Proceedings | 2000
|Elsevier | 1964
From Natural Language to Semi-Formal Notation Requirements for Automotive Safety
British Library Conference Proceedings | 2015
|From Natural Language to Semi-Formal Notation Requirements for Automotive Safety
SAE Technical Papers | 2015
|