Center of Academic Publications


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

www.univ-soukahras.dz/en/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

Download Article