Title :
Special session — Formal specification and simulation
Author :
Cherkaoui, Abdelghani
Abstract :
This session aims to discuss on various aspects of simulation such as: • Driver assistance system • Floating Train Data Systems • Preventive Maintenance • Implementation with respect of French national rules • Regulating traffic lights • …
Conference_Titel :
Industrial Engineering and Systems Management (IESM), Proceedings of 2013 International Conference on
Conference_Location :
Agdal, Rabat, Morocco