Une approche basée transformation de graphes pour la génération

modèles de réseaux de Petri analysables à partir de diagrammes UML ... Nous utiliserons l'outil TINA pour analyser les propriétés ..... Code exécutable livré.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A