A Model Based Development and Verification Process for Satellite Design
International symposium; 23rd, Space technology and science; Proceedings of the twenty-third international symposium on space technology and science
01.01.2002
5 pages
Conference held in 2 volumes
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
SAX satellite design and verification
British Library Conference Proceedings | 1993
|Model-based Development & Verification Environment
AIAA | 2003
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|Formal verification in model based development
Kraftfahrwesen | 2015
|