Le moteur de recherche
des thèses françaises
Pierre-Cyrille Héam
IdRefMots clés
FR |
EN
Test
Vérification
Ordonnancement
Ordonnancement (informatique)
Génération aléatoire
Automates
Algorithmes
Approximation
Optimisation
Automates d'arbres
Contraintes
Approximations
Model checking
Contraintes (intelligence artificielle)
Systèmes temps réel
Automate temporisé
Automate à pile temporisé
Deadline
Mutation
Temps réel (informatique)