TY  - BOOK
AU  - Amirat
AU  - Abdelkarim
AU  - Harireche
AU  - Keltoum
TI  - Transformation de diagramme de séquence vers un modèle promela  Approche transformation de modèles basée ATL/Eclipse
PY  - 2014///
ER  -