hybrid systems; model checking; rectangular automata; timed computing tree logic;
机译:在统一建模语言伪像中集成计算树逻辑模型检查的方法论:嵌入式控制器的案例研究
机译:统一建模语言伪影中集成计算树逻辑模型检查的方法:嵌入式控制器的案例研究
机译:用于集成计算树逻辑模型检查统一建模语言的方法的方法,嵌入式控制器的案例研究
机译:具有定时计算树逻辑的矩形混合系统模型检查
机译:混合多分辨率仿真和模型检查:片上网络系统
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:用于计时概率计算树逻辑的多时模型检查。
机译:模型检查是精细化:关于步比测试和线性时间时序逻辑