...
机译:基于控制流的方法,以支持声音工作流的发展
WorkflowVerificationSoundnessCauses;
机译:经典声音的格式正确的工作流/ Petri网验证的解析方法
机译:一种格式正确的工作流/ Petri网验证经典稳健性的分析方法
机译:工作流网络健全性的模型检查方法
机译:基于Petri网的工作流模型健全性验证方法
机译:微型工作流:一种工作流体系结构,支持组合的面向对象的软件开发。
机译:简化多学科肿瘤板工作流程的案例复杂性衡量:混合方法开发和MeDiC工具的早期验证
机译:良好工作流程/ petri网验证经典稳健性的分析方法