This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software

Technical Paper
ISSN: 0148-7191, e-ISSN: 2688-3627
Published March 08, 2004 by SAE International in United States
Annotation ability available
Language: English