Details for: Application de SPIN/Promela pour la Vérification formelle de diagrammes de séquence UML

Normal view MARC view ISBD view

Application de SPIN/Promela pour la Vérification formelle de diagrammes de séquence UML

Main Author: NSecondary Author: Farrouki;Kahina;HarratiLanguage: French.Country: FR.Publication: 2013

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/07/2013/001 (Browse shelf(Opens below))	Available		LST/M/IN/07/2013/001
Thesis	مكتبة العلوم والتكنولوجيا	M/IN/07/2013/002 (Browse shelf(Opens below))	Available		LST/M/IN/07/2013/002

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/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	M/IN/09/2013/001 Generation des diagrammes UML a partir d'une maquette IHM	Next

There are no comments on this title.

to post a comment.