El-Miloudi El-Koursi
IdRefMots clés
FR |
EN
Petri, Réseaux de
Transports ferroviaires
Sécurité ferroviaire
Chemins de fer -- Dispositifs de sécurité
Interopérabilité ferroviaire
Transformation de modèles
Signalisation ferroviaire
Évaluation du risque
Chemins de fer -- Trafic -- Régulation
Passages à niveau
Système ERTMS
Modélisation objet UML
Modélisation formelle
Génération de scénarios de test
Essais (technologie)
Intégration des systèmes (ingénierie)
Spécifications
UML (informatique)
Systèmes à paramètres répartis
Objectifs de sécurité communs