>> EBOOKS, DOCUMENTS ET TUTORIAUX RÉFÉRENCÉS AVEC # verification-formelle

Vérification d’une architecture UML 2.0  avec l’ADL Wright
Composants logiciels et architecture