Congratulations to Ms. Kimiya Kolahdouz for successfully defending her M.Sc. thesis entitled “Formal Verification of BPMN Models Using Automatic Generation of OCL Constraints” and receiving outstanding mark.
Congratulations to Ms. Kimiya Kolahdouz for successfully defending her M.Sc. thesis entitled “Formal Verification of BPMN Models Using Automatic Generation of OCL Constraints” and receiving outstanding mark.