Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.

Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed

Browse the full ICSoft paper archive.