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
Conference paper
English
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
Automotive engineering | 2000
|ETCS - European Train Control System
Tema Archive | 1992
|Specifications for electric train lighting equipment
Engineering Index Backfile | 1919