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
2002-01-01
5 pages
Conference held in 2 volumes
Conference paper
English
© 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 in Model Based Development
British Library Conference Proceedings | 2015
|Formal Verification in Model Based Development
SAE Technical Papers | 2015
|