Formal Methods for Safe Design and Verification of Transportation Systems - Télécom Paris
Communication Dans Un Congrès Année : 2017

Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed
  • Fonction : Auteur
System on Chip
Département Communications & Electronique
Tullio Tanzi
  • Fonction : Auteur
  • PersonId : 1113061
System on Chip
Département Communications & Electronique
Sophie Coudert
  • Fonction : Auteur
  • PersonId : 1053469
System on Chip
Département Communications & Electronique
Dominique Legros
  • Fonction : Auteur

Domaines

Génie logiciel [cs.SE]

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02412315

Soumis le : dimanche 15 décembre 2019-12:56:55

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02412315 , version 1

Citer

Lilia Belabed, Tullio 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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PARISTECH UNIV-PARIS-SACLAY LTCI COMELEC LABSOC INSTITUT-MINES-TELECOM
47 Consultations
0 Téléchargements

Partager

More