Stochastic Validation and Verification of Railroad Safety-Critical Software
International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany
International workshop on software specification of safety relevant transportation control tasks ; 63-74
2003-01-01
12 pages
Conference paper
English
© 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
|Validation and verification of METEOR safety software
British Library Conference Proceedings | 2000
|