Knowledge Tree

researcher / Mohammed Bekkouche

Mohammed Bekkouche

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs