Towards Domain-Specific Formal Specification Languages for Railway Control Systems
IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany
01.01.2001
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Specification of Railway Control Systems
Springer Verlag | 2013
|British Library Conference Proceedings | 2000
|Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
British Library Conference Proceedings | 2019
|Formal Specification Method for Systems Automation
British Library Online Contents | 2006
|