Formal development of software in railways safety critical systems
4th International conference on computer-aided design, manufacture and operation in the railway and other advanced mass transit systems, Railway operations ; 1994 ; Madrid
1994-01-01
8 pages
In 2 vols; Also known as COMPRAIL 94
Conference paper
English
© 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 Methods and their Applications to Safety-Critical Systems of Railways
British Library Online Contents | 1995
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Formal Verification of Safety-Critical Aerospace Systems
IEEE | 2023
|