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

20240205 frey50

=