Knowledge Tree

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