Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software
World congress, Society of Automotive Engineers ; 2004 ; Detroit, MI
01.01.2004
1768 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2004
|Formal Verification in Model Based Development
British Library Conference Proceedings | 2015
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|