Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 Tanzi 1, 2 
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
2 COMELEC - Département Communications & Electronique
Document type :
Conference papers
Complete list of metadata
https://hal.telecom-paris.fr/hal-02412253
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Sunday, December 15, 2019 - 12:53:53 PM
Last modification on : Thursday, December 30, 2021 - 4:42:02 PM

Identifiers

  • HAL Id : hal-02412253, version 1

Collections

INSTITUT-TELECOM | PARISTECH | UNIV-PARIS-SACLAY | LTCI | COMELEC | LABSOC

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

20