 |
- 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)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - 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 : Wednesday, June 24, 2020 - 4:19:55 PM
Contributor : Telecomparis Hal <>
Submitted on : Sunday, December 15, 2019 - 12:56:55 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:55 PM
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
