Formal Method for RailWays Disasters prevention - Equipe System on Chip Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Formal Method for RailWays Disasters prevention

Domaines

Informatique [cs] Performance et fiabilité [cs.PF]

Tullio Tanzi  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 15 novembre 2019-08:07:40

Dernière modification le : lundi 9 octobre 2023-12:49:44

Fichier non déposé

Dates et versions

hal-02364487 , version 1 (15-11-2019)

Identifiants

  • HAL Id : hal-02364487 , version 1

Citer

Lilia Belabed, Tullio Joseph Tanzi, Sophie Coudert. Formal Method for RailWays Disasters prevention. Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019. ⟨hal-02364487⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More