Le moteur de recherche
des thèses françaises
Patrick Martineau
IdRefMots clés
FR |
EN
Ordonnancement (gestion)
Temps réel (informatique)
Algorithmes
Réseaux de Petri
Méthodes formelles (informatique)
Optimisation mathématique
Informatique dans les nuages
Grilles informatiques
Ordonnancement (informatique)
Systèmes d'exploitation (ordinateurs)
Conception
Systèmes d'exploitation temps réel
Ingénierie dirigée par les modèles (IDM)
Langage de modélisation relié
Comportement de plate-forme
Réseaux de Petri Temporels
Déploiement
Modèle formel
Modèle de description de plate-forme
Ingénierie dirigée par les modèles