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)

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

Partager

  • More