Diagnosis; Time Petri Net; Timed Pattern; Model checking;
机译:定时模式诊断定时工作流程:模型检查方法
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:基于运行时模型的实时嵌入式系统检查的设计模式
机译:定时模式诊断定时工作流程:模型检查方法
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:建模随时间变化的不同饮酒方式下的终生QALY和医疗保健费用:马尔可夫模型
机译:定时模式诊断定时工作流程:模型检查方法
机译:时间自动机无界完全符号模型检验的布尔方法