OUADAOUI Souhila2024-05-142024-05-142020http://dspace.univ-khenchela.dz:4000/handle/123456789/4814frTransformation des diagrammes de collaboration BPMN en langage PROMELAThesis