Publication | Closed Access

Correctness criteria for dynamic changes in workflow systems––a survey

EngineeringWorkflow TechnologyVerificationFormal MethodsSystems EngineeringSoftware EngineeringWorkflow PatternComputer ScienceCorrectness CriteriaWorkflow ModellingSoftware AnalysisFormal Verification