Validation and verification of METEOR safety software
International conference; 7th, Computers in railways ; 2000 ; Bologna, Italy
2000-01-01
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
|Modeling Meteor Flares for Spacecraft Safety
NTIS | 2017
|IuD Bahn | 1996
|