机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
University Constantine II-Abdelhamid Mehri, Algeria;
University Constantine II-Abdelhamid Mehri, Algeria;
Formal Methods; OWL-S Ontology; Semantic Web; TCTL; Timed Automata; UPPAAL Tool; Web Services;
机译:基于共同知识的带有策略的模式变更时态逻辑是无法确定的
机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
机译:检查MITL公式的模型在定时自动机上:基于逻辑的方法
机译:使用度量间隔时间逻辑进行运动计划的定时自动机方法
机译:定时安全自动机和逻辑一致性。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:使用模型检查定时自动机参数化逻辑控制程序