University of Kent, Computing Laboratory, CT2 7NF, Canterbury, Kent, United Kingdom;
urgent actions; timed automata with deadlines; uppaal;
机译:使用Uppaal在截止日期前进行模型检查定时自动机
机译:使用Uppaal在截止日期前进行模型检查定时自动机
机译:在Uppaal中使用定时自动机分析嵌入式传感器
机译:与UPPAAL定时自动机截止日期的定时自动机的组成翻译
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:从HUPPAAL到UPPAAL-从分层定时自动机到固定定时自动机的翻译