Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany
2001-01-01
6 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal methods and temporal safety requirements: A level crossing application
Tema Archive | 2007
|PREDICTIVE RAILROAD CROSSING SAFETY NOTIFICATION AND TRAFFIC CONTROL SYSTEM AND METHODS
European Patent Office | 2024
|