Le moteur de recherche
des thèses françaises
El-Miloudi El-Koursi
IdRefMots clés
FR |
EN
Réseaux de Petri
Évaluation du risque
Sécurité ferroviaire
Transports ferroviaires
Chemins de fer -- Dispositifs de sécurité
Passages à niveau
Interopérabilité ferroviaire
Transformation de modèles
Europe
Signalisation ferroviaire
Spécifications
Chemins de fer -- Trafic -- Régulation
Accidents
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)
UML (informatique)