Start: Sep. 2019 Finish: Jan. 2023 Thesis Title: Formal Verification of BPMN Models Using Automatic Generation of OCL Constraints Supervisor: Dr. Shekoufeh Kolahdouz-Rahimi Advisor: Dr. Kevin Lano
more
About:
Kimiya Kolahdouz received her B.Sc. in Industrial Engineering from Isfahan University of Technology, Isfahan, Iran.
