2004-01-1768 Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software
Session, In-vehicle networks and software, electrical wiring harnesses, and electronics and systems reliability
01.01.2004
6 pages
Held with the sessions on in-vehicle software, electrical wiring harnesses and automobile electronics & systems reliability as part of the SAE 2004 world congress
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2004
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|Formal Verification in Model Based Development
British Library Conference Proceedings | 2015
|