MBSE PROCESS METHODOLOGY AND TOOLS FOR INTEGRATED POWER SYSTEM DEVELOPMENT
Intelligent Ships Symposium ; 2019 ; Philadelphia, Pa.
2019
Aufsatz (Konferenz)
Englisch
The FoReVer Methodology: A MBSE Framework for Formal Verification
British Library Conference Proceedings | 2013
|NTRS | 2021
|