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)
Extended abstract submitted for presentation at the 11th Triennial Symposium on Transportation Analysis conference (TRISTAN XI)
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03691793
Soumis le : jeudi 9 juin 2022-12:56:57
Dernière modification le : jeudi 13 novembre 2025-00:02:25