Knowledge Tree

researcher / Pierre-Cyrille Héam

Pierre-Cyrille Héam

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Random Generation for the Performance Evaluation of Scheduling Algorithms

Contributions à la génération aléatoire pour des classes d'automates finis

Contributions à la vérification et à la validation efficaces fondées sur des modèles

Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking