Idir Aït-Sadoune

Own Thesis
Related Theses

Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions).

I. Aït-Sadoune. École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France, (2010)

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Idir Aït-Sadoune
Editor:
Other:

No resources found

sort by
added at
title
author
publication date
entry type