A Railway Demonstrator for experimental Validation of formal Specifications
Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
Formale Techniken fur die Eisenbahnsicherungstechnik
Petrinet-Based Specification of Safety Relevant Train Control Systems
Modellbasierte Prognose der Absatzentwicklung neuer Fahrerassistenzsysteme
Methode zur positionsbasierten Verifizierung von Fahrzeugmodellen mittels Referenzsystemen
Seamless Model Based Development Process of Automotive Systems
Rapid transfer terminal and logistics for efficient rail road freight transport
DISPOS - Ein System zur Dispositionsunterstuetzung im Magnetschnellbahnverkehr
Metrics and Measurability of Vehicle and Traffic Safety and their Determination
Maße und Messbarkeit der Fahrzeug- und Verkehrssicherheit und ihre Bestimmung
Nichtlineare Regelung der Fahrzeuglängsdynamik für zukünftige fahrzeugübergreifende Assistenzsysteme
Decentralised Organisation of Rail Transport by Multi Agent Systems
A railway demonstrator model for experimental investigation of integrated specification techniques
Dezentrale Organisation von Schienenverkehr auf der Basis von Multi-Agentensystemen