Zugverspaetungen und Betriebssteuerung von von Stadtschnellbahnen in systemtheoretischer Analyse
A verification framework with application to a propulsion system
Funktionale Sicherheit in der KFZ-Elektronik - Ansatz zur Anwendung der IEC 61508
Proceedings of SPIE, Laser radar 2, Orlando, USA, May 19-20, 1987
Design and Analysis of a Dual Power Supply with Super-Capacitor for EV
SFB/TR 14 AVACS - Automatic verification and analysis of complex systems
Solarelectric propulsion system thermal analysis. Final rept. 27 Dec 73 - 27 Feb 75
CENELEC-Normen - Effizientere Entwicklung von Schienenfahrzeugen
Distributed component systems modelling with parallel composition
Comparison of statistical digital simulation methods
Systemes anemobarometriques pour avions de la prochaine generation
Method and software tool for an optimized passenger orientated connection management
Graphentheoretische Anwendungen für Verkehrs- und Rechnernetze mit verschiedenen Verkehrsmitteln
A multiform time approach to real-time system modeling