Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software
World congress, Society of Automotive Engineers ; 2004 ; Detroit, MI
2004-01-01
1768 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2004
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|