Formal Methods and their Applications to Safety-Critical Systems of Railways
QUARTERLY REPORT- RTRI ; 36 , 4 ; 198-203
1995-01-01
6 pages
Article (Journal)
English
DDC: | 625.1 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Methods and their Applications to Safety-Critical Systems of Railways
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
|