Communication Dans Un Congrès
Année : 2020
Sébastien LEFEBVRE : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04666459
Soumis le : jeudi 1 août 2024-15:05:31
Dernière modification le : mardi 20 août 2024-17:01:54
Dates et versions
Identifiants
- HAL Id : hal-04666459 , version 1
Citer
Insaf Sassi, Mohamed Ghazel, El Miloudi El Koursi. Formalising the Specifications of Onboard Train Integrity System for Verification Purposes. 2nd SmartRaCon Workshop, Jun 2020, San Sebastian, Spain. ⟨hal-04666459⟩
Collections
11
Consultations
0
Téléchargements