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