Petrinet-Based Specification of Safety Relevant Train Control Systems
Conference, Sicherheit komplexer Verkehrssyteme ; 2000 ; Konigswinter, Germany
2000-01-01
18 pages
Conference paper
German
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Specification of Train Control Systems with STEP
British Library Conference Proceedings | 2001
|Safety Relevant Observations on the ICE High Speed Train
NTIS | 1991
|Safety Relevant Observations on the TGV High Speed Train
NTIS | 1991
|Customer focused train specification
British Library Conference Proceedings | 1998
|Train safety system, train safety control method, and onboard train device
European Patent Office | 2024
|