Communication Dans Un Congrès
Année : 2016
TelecomParis HAL : Connectez-vous pour contacter le contributeur
https://telecom-paris.hal.science/hal-02412253
Soumis le : dimanche 15 décembre 2019-12:53:53
Dernière modification le : lundi 9 octobre 2023-12:49:44
Dates et versions
Identifiants
- HAL Id : hal-02412253 , version 1
Citer
Sophie Coudert, Tullio Tanzi. Formal Methods for Safe Design of Autonomous Systems dedicated to risk management. First IFIP conference on information technology in disaster risk reduction (ITDRR 2016), Nov 2016, Sofia, Bulgaria. ⟨hal-02412253⟩
Collections
21
Consultations
0
Téléchargements