Counterexample analysis; Containment checking; Consistency checking; BPMN; Process model; Behavior model; Model checking; Countermeasure;
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:需求分析:工业业务流程模型的即时健全性检查
机译:业务流程建模,开发和支持(BPMDS)的特殊部分2018:业务流程建模,开发和支持的新观点
机译:支持遏制业务流程模型检查的强调分析
机译:使用符号模型检查的化学过程安全性和可操作性分析。
机译:电子医疗干预措施支持荷兰痴呆症的非正式护理人员:案例研究分析
机译:需求分析:工业业务流程模型的瞬时稳健性检验