Formal Specifications of the European Train Control System
Symposium; 8th, Transportation systems ; 1997 ; Chania; Greece
1997-01-01
6 pages
Also known as TS'97
Aufsatz (Konferenz)
Englisch
transportation systems , TS , production engineering , IFAC , IFIP , IFORS
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Test case generation from formal specifications on the example of train control systems
British Library Conference Proceedings | 2000
|IuD Bahn | 1994
|Power-train system design: functional architectural specifications
Kraftfahrwesen | 2000
|European Train Control System (ETCS)
British Library Conference Proceedings | 1994
|ETCS - European Train Control System
Tema Archiv | 1992
|