Knowledge Tree

researcher / Karim Berkani

Karim Berkani

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Un cadre méthodologique pour l'intégration de services par évitement des interactions

Directed Thesis:

Automatisation des preuves pour la vérification des règles de l'Atelier B