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
المنشورات العلمية
هام: هذه الصفحة مجمدة. الوثائق الحديثة متوفرة الآن في المستودع الرقمي DSpace
ملخص المقال
معلومات
Item Type | Conference |
---|---|
Divisions |
» مخبر الإعلام الألي و الرياضيات |
ePrint ID | 258 |
Date Deposited | 2014-12-29 |
Further Information | Google Scholar |
URI | https://univ-soukahras.dz/ar/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)}
}