Communication Dans Un Congrès
Année : 2017
TelecomParis HAL : Connectez-vous pour contacter le contributeur
https://telecom-paris.hal.science/hal-02412316
Soumis le : dimanche 15 décembre 2019-12:56:58
Dernière modification le : lundi 9 octobre 2023-12:49:44
Dates et versions
Identifiants
- HAL Id : hal-02412316 , version 1
Citer
Lilia Belabed, Tullio Tanzi, Sophie Coudert. Formal methode for safe and Verification of RailWay Signaling Sustems. Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria. ⟨hal-02412316⟩
Collections
29
Consultations
0
Téléchargements