DRAIFIA HANENE - CHERMIME SOUMIA ASSIA2024-05-162024-05-162021http://dspace.univ-khenchela.dz:4000/handle/123456789/4909frModel checking des diagrammes de collaboration BPMNThesis