David Gouyon
IdRefMots clés
FR |
EN
Ingénierie des systèmes
Ingénierie dirigée par les modèles
Ingénierie Système Basée sur les Modèles (ISBM)
Réutilisation
Patrons
Maturité
Design patterns
Exigences temporelles
Spécification
Transformation de modèles
Vérification et validation
Observateur
Model-checking
Contrôle/commande ferroviaire
ERTMS
Temps réel (informatique)
Observation (méthode scientifique)
Chemins de fer -- Trafic -- Régulation
Signalisation ferroviaire
Procédés de fabrication -- Automatisation