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 http://univ-biskra.dz/revues/index.php/cds/article/view/407