Meinten Sie:
person:("schneider, eckhard")
•
person:("schnieder, ekkehard")
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms '99 - formale Techniken für die Eisenbahnsicherung
Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs
Verkehrsleittechnik : Automatisierung des Straßen- und Schienenverkehrs ; mit 45 Tabellen
Validierung von satellitenbasierten Eisenbahnortungssystemen
Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems