Specification of Train Control Systems with STEP
IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany
2001-01-01
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Petrinet-Based Specification of Safety Relevant Train Control Systems
British Library Conference Proceedings | 2000
|Customer focused train specification
British Library Conference Proceedings | 1998
|