Conference Papers
Year : 2016
TelecomParis HAL : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-02412253
Submitted on : Sunday, December 15, 2019-12:53:53 PM
Last modification on : Tuesday, February 28, 2023-3:36:25 PM
Dates and versions
Identifiers
- HAL Id : hal-02412253 , version 1
Cite
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
20
View
0
Download