Jérôme Delatour
IdRefMots clés
FR |
EN
Temps réel (informatique)
Ingénierie dirigée par les modèles
UML (informatique)
Ingénierie dirigée par les modèles (IDM)
Transformation de modèle
Fonctionnement multitâche
Plate-forme d'exécution
Transformation de modèles
Métamodèle de plate-forme
Modèle de plate-forme
Uml-marte
Langage de modélisation dédiée
Uml
Temps réel
Réseaux de Pétri
Spécification
Validation
Vérification
Contraintes temporelles
Petri, Réseaux de