Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the FISITA 2012 World Automotive Congress
Proceedings of the 1st International Workshop on High-Speed and Intercity Railways
Proceedings of the 1st International Workshop on High-Speed and Intercity Railways
Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems