A verification case study
Computers in Aerospace Conference ; 1977 ; Los Angeles , CA , U.S.A.
1977-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
MBSE Validation and Verification: Case Study for LADEE
NTRS | 2021
|CASE STUDY VERIFICATION OF RUC/MAPS FOG AND VISIBILITY FORECASTS
British Library Conference Proceedings | 2000
|A Case Study on the Verification of Cache Coherence Protocols
British Library Online Contents | 2004
|Validation of Railway Interlocking Systems by Formal Verification, A Case Study
British Library Conference Proceedings | 2014
|