Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Practical application of model-based software design for automotive
Simulation und Test für die Automobilelektronik IV
Safe software development for a video-based train detection system in accordance with EN 50128
TOYOTA MBD initiatives for engine control design