Le moteur de recherche
des thèses françaises
Marie Duflot
IdRefMots clés
FR |
EN
Systèmes à paramètres répartis
Convergence (mathématiques)
Réseaux en anneaux (informatique)
Autostabilisation (informatique)
Ordonnancement de la production
Systèmes à événements discrets
Perturbations
Model Checking statistique
Robustesse
Ordonnancement (gestion)
Systèmes échantillonnés
Perturbation (mathématiques)
Commande robuste
Méthodes formelles
Preuve
Modélisation
Représentation des connaissances
Raisonnement ontologique
Formalismes logiques
Event-B