Formal Methods for Safe Design of Autonomous Systems dedicated to risk management - Télécom Paris
Communication Dans Un Congrès Année : 2016

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

Fichier non déposé

Dates et versions

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

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⟩
28 Consultations
0 Téléchargements

Partager

More