Browsing Ponencias (Lenguajes y Sistemas Informáticos) by Subject "Unsatisfiable subset"
Now showing items 1-1 of 1
-
Presentation
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
(PHM Society, 2010)In order to increase the quality of business pro cesses when they are automated, the correctness of the activities can ...