The FoReVer Methodology: A MBSE Framework for Formal Verification
Conference, DAta systems in aerospace; Proceedings of DASIA 2013 ; 2013 ; Porto, Portugal
01.01.2013
43 pages
Includes bibliographical references; Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
DASIA , DAta systems , ESA , Aerospace
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
MBSE Validation and Verification
Springer Verlag | 2023
|MBSE Validation and Verification: Case Study for LADEE
NTRS | 2021
|