VDM Specification of an Interlocking System and a Simulator for Its Validation
IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany
2001-01-01
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Lifecycle-based functional interlocking specification
IuD Bahn | 2008
|UML-based specification of a railway interlocking and signalling system
Tema Archiv | 2003
|UML-based Specification of a Railway Interlocking and Signalling System
British Library Conference Proceedings | 2003
|Formal validation method for computerized interlocking system
Online Contents | 2012
|Formal Validation of Interlocking Under Signaling Rules
Springer Verlag | 2021
|