Formal Methods and their Applications to Safety-Critical Systems of Railways
Quarterly report of RTRI ; 36 , 4 ; 198-203
1995
Article (Journal)
English
BKL: | 55.85 Schienenverkehr |
Formal Methods and their Applications to Safety-Critical Systems of Railways
British Library Online Contents | 1995
|Formal development of software in railways safety critical systems
British Library Conference Proceedings | 1994
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|Twenty-Five Years of Formal Methods and Railways: What Next?
British Library Conference Proceedings | 2014
|