Knowledge Tree

researcher / Souad Kherroubi

Souad Kherroubi

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B