Formal Methods for Safe Design of Autonomous Systems dedicated to risk management - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

Not file

Dates and versions

hal-02412253 , version 1 (15-12-2019)

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⟩
20 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More