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 : mercredi 23 octobre 2024-10:30:04
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
49
Consultations
0
Téléchargements