Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Catherine Oriat

Catherine Oriat

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Etude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes

Directed Thesis:

Analyse et optimisation d'algorithmes pour l'inférence de modèles de composants logiciels
Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire