Formal Specifications of the European Train Control System
Symposium; 8th, Transportation systems ; 1997 ; Chania; Greece
01.01.1997
6 pages
Also known as TS'97
Aufsatz (Konferenz)
Englisch
IFIP , production engineering , IFAC , TS , transportation systems , 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
|ETCS - European Train Control System
Tema Archiv | 1992
|