Vérification formelle d architectures logicielles à base d UML

Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou. Vérification formelle d architectures logicielles à base d UML. L OBJET, 14(1-2):61-86, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.