Vol-4121⫷ Vol-4122 ⫸Vol-4123
urn:nbn:de:0074-4122-0


Vol-4122/paper9⫷Vol-4122/paper10⫸Vol-4122/paper11
Kimia KolahdouzShekoufeh Kolahdouz RahimiKevin Lano

Enhancing agile model-driven engineering with automated formal verification of BPMN models