 |
- 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 and Verification of Transportation Systems
Lilia Belabed 1, 2
Author
Tullio J. Tanzi 1, 2
Author
Sophie Coudert 1, 2
Author
Dominique Legros
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-02412315
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:56:55 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:56:55 PM
Last modification on : Friday, July 31, 2020 - 11:28:04 AM
Identifiers
- HAL Id : hal-02412315, version 1
Collections
PARISTECH | COMELEC | LABSOC | LTCI | INSTITUT-TELECOM | UNIV-PARIS-SACLAY
Citation
Lilia Belabed, Tullio J. Tanzi, Sophie Coudert, Dominique Legros. Formal Methods for Safe Design and Verification of Transportation Systems. 1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France. ⟨hal-02412315⟩
Metrics
Record views
