Sana Jabri
IdRefMots clés
FR |
EN
Système ERTMS
Interopérabilité ferroviaire
Modélisation objet UML
Transformation de modèles
Modélisation formelle
Génération de scénarios de test
Transports ferroviaires
Signalisation ferroviaire
Essais (technologie)
Intégration des systèmes (ingénierie)
Spécifications
Petri, Réseaux de
UML (informatique)
Systèmes à paramètres répartis
Assurance de sécurité
Train autonome
Appréciation dynamique des risques
Prise des décisions basée sur le risque
Argumentaire de sécurité
Conscience de la situation