Details for: Une approche basée transformation de graphes pour la vérification des diagrammes de séquence

Normal view MARC view ISBD view

Une approche basée transformation de graphes pour la vérification des diagrammes de séquence

Main Author: YounsiSecondary Author: Nadia- Ait oubelli;Mouna;Mohammed;SoltaniLanguage: French.Country: FR.Publication: 2012

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Thesis	مكتبة العلوم والتكنولوجيا	M/IN/06/2012/001 (Browse shelf(Opens below))	Available		LST/M/IN/06/2012/001

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	M/IN/04/2012/002 Transformation de diagrammes d'état de transitions vers PROMELA une approche basée ATL	M/IN/04/2012/003 Transformation de diagrammes d'état de transitions vers PROMELA une approche basée ATL	M/IN/05/2012/001 Evolution des architectures logicielles à base de composants Une approche basée transformation de moèle	M/IN/06/2012/001 Une approche basée transformation de graphes pour la vérification des diagrammes de séquence	M/IN/07/2013/001 Application de SPIN/Promela pour la Vérification formelle de diagrammes de séquence UML	M/IN/07/2013/002 Application de SPIN/Promela pour la Vérification formelle de diagrammes de séquence UML	M/IN/08/2013/001 Un système de recherche d'information sementique pour les bibliothèques universitaires	Next

There are no comments on this title.

to post a comment.