Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
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 methods and temporal safety requirements: A level crossing application
Tema Archiv | 2007
|PREDICTIVE RAILROAD CROSSING SAFETY NOTIFICATION AND TRAFFIC CONTROL SYSTEM AND METHODS
Europäisches Patentamt | 2024
|