Le moteur de recherche
des thèses françaises
Matthias Brun
IdRefMots clés
FR |
EN
Temps réel (informatique)
Systèmes embarqués (informatique)
UML (informatique)
Ingénierie dirigée par les modèles
Systèmes temps réel
Forçage en ligne
Réseaux de Petri
Test
Petri, Réseaux de
Analyse des systèmes
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
Interprétation
Vérification formelle
Systèmes embarqués
Génie logiciel