Petrinet-Based Specification of Safety Relevant Train Control Systems
Conference, Sicherheit komplexer Verkehrssyteme ; 2000 ; Konigswinter, Germany
2000-01-01
18 pages
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Specification of Train Control Systems with STEP
British Library Conference Proceedings | 2001
|Customer focused train specification
British Library Conference Proceedings | 1998
|TRAIN SAFETY SYSTEM, TRAIN SAFETY CONTROL METHOD, AND ONBOARD TRAIN DEVICE
Europäisches Patentamt | 2020
|Train safety system, train safety control method, and onboard train device
Europäisches Patentamt | 2024
|TRAIN SAFETY SYSTEM, TRAIN SAFETY CONTROL METHOD, AND ONBOARD TRAIN DEVICE
Europäisches Patentamt | 2023
|