Extending the Notation of Rational Rose 98 for Use With Formal Methods
National aerospace and electronics conference; NAECON 2000 ; 2000 ; Dayton, OH
2000-01-01
8 pages
IEEE cat no 00CH37093
Conference paper
English
aerospace , electronics , NAECON , IEEE
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods
British Library Conference Proceedings | 2001
|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
|