SMV2Java

Simulation de modèles SMV en java. SMV2Java précompile un modèle SMV en un projet java qui simule l'exécution du modèle dans un environnement graphique.
A l'heure actuelle, SMV2java est limité à un sous-langage du langage de modélisation de SMV.

Téléchargement

Auteurs:
Vincent Bourgogne
Stanislas Dalençon
Elodie Dechaintre
Virgile Nadal
Céline Thuillet

Projet Licence Professionnelle encadré par Olivier Ly

Contact:
Céline Thuillet

2005/10/09