Formalising the Specifications of Onboard Train Integrity System for Verification Purposes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020
Fichier non déposé

Dates et versions

hal-04666459 , version 1 (01-08-2024)

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

Partager

Gmail Mastodon Facebook X LinkedIn More