Knowledge Tree

researcher / Mohamed Graiet

Mohamed Graiet

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contribution à une démarche de vérification formelle d'architectures logicielles

Directed Thesis:

Formal verification of business process configuration in the Cloud