Details for: Transformation de diagramme de séquence vers un modèle promela Approche transformation de modèles basée ATL/Eclipse

Normal view MARC view ISBD view

Transformation de diagramme de séquence vers un modèle promela Approche transformation de modèles basée ATL/Eclipse

Main Author: AmiratSecondary Author: Abdelkarim;Harireche;KeltoumLanguage: French.Country: FR.Publication: 2014

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/15/2014/001 (Browse shelf(Opens below))	Available		LST/M/IN/15/2014/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/13/2013/001 Vérification formelle des diagrammes de séquence UML temporisés	M/IN/14/2014/001 La fusion automatique d'ontologies OWL Application aux turbines a vapeur	M/IN/14/2014/002 La fusion automatique d'ontologies OWL Application aux turbines a vapeur	M/IN/15/2014/001 Transformation de diagramme de séquence vers un modèle promela Approche transformation de modèles basée ATL/Eclipse	M/MA/01/2011/001 Equations différentielles à retard et stabilité par le point fixe de banach	M/MA/01/2011/002 Equations différentielles à retard et stabilité par le point fixe de banach	M/MA/02/2011/001 Etude de quelques résultats d'existance et d'unicité de l'équation des plaques vibrantes linéaire.	Next

There are no comments on this title.

to post a comment.