Integrated approach using formal models and simulation environment
Résumé
The approach of this study which is the third step of the Perfect project is based on the ERTMS simulation framework compliant with the official European specifications. The aim of this study is triple.