Centre des Publications Scientifiques


Automatic Generation of PROMELA Code from Sequence Diagram with Imbricate Combined Fragments

https://www.univ-soukahras.dz/fr/publication/article/258

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

Télécharger l'article