Validation and verification of METEOR safety software
International conference; 7th, Computers in railways ; 2000 ; Bologna, Italy
01.01.2000
14 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Stochastic Validation and Verification of Railroad Safety-Critical Software
British Library Conference Proceedings | 2003
|Modeling Meteor Flares for Spacecraft Safety
NTRS | 2017
|Verification and Validation of Safety Software for Automated Guideway Transit Systems
British Library Conference Proceedings | 1996
|Verification and Validation of Safety Software for Automated Guideway Transit Systems
British Library Conference Proceedings | 1996
|