Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case

Résumé

Extended abstract submitted for presentation at the 11th Triennial Symposium on Transportation Analysis conference (TRISTAN XI)

Domaines

Calcul formel [cs.SC]

Ifsttar Cadic  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03691793

Soumis le : jeudi 9 juin 2022-12:56:57

Dernière modification le : vendredi 27 octobre 2023-10:55:41

Fichier non déposé

Dates et versions

hal-03691793 , version 1 (09-06-2022)

Identifiants

  • HAL Id : hal-03691793 , version 1

Citer

Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel. Verification Framework for Moving Block System Safety: application on the Loss of Train Integrity Use Case. TRISTAN XI, 11th Triennial Symposium on Transportation Analysis conference, Jun 2022, Balaclava, France. 5p. ⟨hal-03691793⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFSTTAR UNIV-EIFFEL
35 Consultations
0 Téléchargements

Partager

More