CHAOUI, A., SAIDOUNI, D., BOUARIOUA, M., BEKRAR, S., & KERKOUCHE, E. (2014). FROM A MODEL OF CONCURRENCY TO A TEST MODEL: A GRAPH TRANSFORMATION BASED APPROACH. Courrier Du Savoir, 14. Téléchargé le de https://revues.univ-biskra.dz/index.php/cds/article/view/407