Meinten Sie:
person:("anton, marc")
•
person:("anton, mark")
Formal validation method and tools for computerized railway interlocking systems
Modellierung des wirtschaftlichen Zusammenhangs zwischen Instandhaltung und Erneuerung
Modellierung des wirtschaftlichen Zusammenhangs zwischen Instandhaltung und Erneuerung
Estimation du besoin de maintenance des appareils de voie
Sécurité de la gestion des circulation