Abdelkrim Amirat, Ahcen Menasria, Mouna Ait Oubelli and Nadia Younsi (2012) Automatic Generation of PROMELA Code from Sequence Diagram with Imbricate Combined Fragments. Second International Conference on Innovative Computing Technology (INTECH 2012) , Casablanca, Morocco
Publications Scientifiques
Important: Cette page est gelée. Les nouveaux documents sont maintenant dans le dépôt numérique DSpace
Résumé
Information
| Item Type | Conference |
|---|---|
| Divisions |
» Laboratoire d’Informatique et Mathématiques |
| ePrint ID | 258 |
| Date Deposited | 2014-12-29 |
| Further Information | Google Scholar |
| URI | https://univ-soukahras.dz/fr/publication/article/258 |
BibTex
@inproceedings{uniusa258,
title={Automatic Generation of PROMELA Code from Sequence Diagram with Imbricate Combined Fragments},
author={Abdelkrim Amirat, Ahcen Menasria, Mouna Ait Oubelli and Nadia Younsi},
year={2012},
booktitle={Second International Conference on Innovative Computing Technology (INTECH 2012)}
}
title={Automatic Generation of PROMELA Code from Sequence Diagram with Imbricate Combined Fragments},
author={Abdelkrim Amirat, Ahcen Menasria, Mouna Ait Oubelli and Nadia Younsi},
year={2012},
booktitle={Second International Conference on Innovative Computing Technology (INTECH 2012)}
}