Imane Ben Hafaiedh
IdRefMots clés
FR |
EN
Design à base de composants
Contracts
Vérification compositionelle
Contrôle distribué
Approche fondée sur les modèles
Positionnement des trains par GNSS
ERTMS/ETCS
Transports ferroviaires
Signalisation ferroviaire
Sécurité ferroviaire
Localisation par satellites, Systèmes de
Méthodes formelles (informatique)
Systèmes de transport intelligent