Le moteur de recherche
des thèses françaises
Frédéric Mallet
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Méthodes formelles (informatique)
Modèles hétérogènes
Langages de programmation -- Sémantique
Vérification formelle
Simulation
Méthodes formelles
UML (informatique)
Temps réel (informatique)
Multi-vue
SysML (informatique)
Traitement réparti
Simulation par ordinateur
Langages de coordination
Coordination
Objets coopérants (informatique)
Automobile
Simulation, Méthodes de
Design patterns
IDM