interval temporal logic; hybrid systems; model checking;
机译:模型检查间隔时间逻辑HS的片段在多项式时间层次结构的低级别
机译:通过时间间隔逻辑模型检查评估时间数据集
机译:将OWL-S过程模型映射到定时自动机:一种检查定时时间逻辑的模型检查方法
机译:模型检查具有密集定时间隔时间逻辑的多型混合系统
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:模型检查间隔时间逻辑HS的片段在多项式时间层次结构的低级别
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑