Formal Method for RailWays Disasters prevention - Télécom Paris
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 : mercredi 23 octobre 2024-10:30:04

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

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

Partager

More