Knowledge Tree

researcher / Pierre Deransart

Pierre Deransart

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Contribution à la validation de programmes concurrents avec contraintes

Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)

Mecanisation de la reutilisation de composants logiciels : approches et outils