 |
- Home
- Submit
-
Browse
- By laboratory
- By department
-
By researchteam
- ACES - Autonomic and Critical Embedded Systems
- CCN - Cybersecurity for Communication and Networking
- COMNUM - Communications numériques
- LinkC2S - Circuits et Systèmes de communication
- DIG - Data, Intelligence and Graphs
- DIVA - Design, Interaction, Visualization and Applications
- ECOGE - Economie Gestion
- GTO - Télécommunications Optiques
- IMAGES - Image, Modélisation, Analyse, GEométrie, Synthèse
- IQA - Information Quantique et Applications
- LabSoC - System on Chip
- MC2 - Mathématiques discrètes, Codage et Cryptographie
- MM- Multimédia
- RFM2 - Radio-Fréquences Microondes et Ondes Millimétriques
- RMS - Réseaux, Mobilité et Services
- S2A - Signal, Statistique et Apprentissage
- SID - Sociologie, Information-Communication Design
- SPE - Sociologie, Psychologie ergonomique
- SSH - Secure and Safe Hardware
- By doctype
- Browse by author
- Search
Conference papers
Formal Methods for Safe Design of Autonomous Systems dedicated to risk management
Sophie Coudert 1, 2
Author
Tullio J. Tanzi 1, 2
Author
1
LabSoC - System on Chip (Sophia Antipolis - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
2
COMELEC - Département Communications & Electronique (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
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
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
Collections
PARISTECH | COMELEC | LABSOC | LTCI | INSTITUT-TELECOM | UNIV-PARIS-SACLAY
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⟩
Metrics
Record views
