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

Formal Methods for Safe Design and Verification of Transportation Systems

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⟩
29 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More