Skip to Main content Skip to Navigation
Conference papers

Formal Methods for Safe Design of Autonomous Systems dedicated to risk management

Sophie Coudert 1, 2 Tullio J. Tanzi 1, 2
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Document type :
Conference papers
Complete list of metadatas

https://hal.telecom-paris.fr/hal-02412253
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:53:53 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM

Identifiers

  • HAL Id : hal-02412253, version 1

Citation

Sophie Coudert, Tullio J. 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⟩

Share

Metrics

Record views

25