Centre des Publications Scientifiques |
Automatic Generation of PROMELA Code from Sequence Diagram with Imbricate Combined Fragmentshttps://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