Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specification to Distributed Hybrid Real-Time Systems
Conference, Formale Techniken fur die Eisenbahnsicherung ; 1999
2000-01-01
10 pages
Also known as Forms '99
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Towards Domain-Specific Formal Specification Languages for Railway Control Systems
British Library Conference Proceedings | 2001
|Formal specification and verification of Ada software
NTRS | 1991
|Formal specification and verification of Ada software
AIAA | 1991
|Specification of real-time and hybrid systems in FOCUS
TIBKAT | 1996
|