Department of Computer Science, Aalborg University, Denmark;
Department of Information Technology, Uppsala University, Sweden;
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:通过有界模型检查来检查离散定时自动机的MTL属性
机译:使用定时自动机和模型检查来探索生态系统模型的场景
机译:使用DBM减法检查定时自动机的模型
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:模型使用dbm减法检查优先级自动机的优先级