中央军委

此软件的关键字
zbMATH中的参考文献(参考文献 34条 )
科斯塔,加布里埃尔; 加莱塔,莱特欧; 德加诺,皮耶尔帕洛; 盆地,大卫; 博德,恰拉:作为部分模型检查的自然投影(2020年) 丙酮,卢卡; 法布雷加斯,伊格纳西奥; 格雷戈里奥·罗德里格斯,卡洛斯; Ingólfsdóttir,Anna:输入输出一致性模拟的逻辑特征、规则格式和组合性(2019) 加雷维尔,休伯特; 朗,弗里德里克; Mateescu,Radu:使用CADP对异步并发系统进行组合验证(2015) 比格,约金; 雅各布森,莫顿; 雅各布森,拉丝; 约根森,肯尼思·伊尔克; 默勒,米凯尔·哈克尔; Srba,Jiří:从时间弧Petri网到时间自动机网络的TCTL保护转换(2014) 方塔纳,彼得; 克里夫兰,兰斯:证明的力量:时间自动机模型检验的新算法(2014) 方塔纳,彼得; 克里夫兰,兰斯:时间自动机的动物园(2014) 朗,弗里德里克; Mateescu,Radu:使用标记过渡系统和布尔方程系统网络的部分模型检查(2013) 蒂莫,奥马尔·兰德里·恩古纳; Reynier,Pierre Alain:关于事件记录自动机的特征公式(2013) Waez,医学博士Tawhid Bin; 迪格尔,尤尔根; 鲁迪,凯伦:用于实时系统开发的时间自动机综述(2013) 丙酮,卢卡; 伯吉斯森,阿纳尔; 安娜,英格尔夫斯多蒂尔; Mousavi,Mohammadeza:关于并行过程历史的分解推理(2012) 布耶,帕特里夏; 卡塞兹,弗朗克; 拉鲁西尼,弗朗索瓦:实时系统的时间模态逻辑。 规范、验证和控制(2011) 雅各布森,拉丝; 雅各布森,莫顿; 默勒,米凯尔·H。; Srba,Jiří:时间弧Petri网的验证(2011) Larsen,Kim Guldstrand:时间自动机的符号和组合可达性(2010) 博尼奥尔,弗里德里克; 埃尔蒙,杰罗姆; Pagetti,Claire:具有抢占权的实时系统验证:正负结果(2009) ioport公司 Srba,Jiří:时间自动机和Petri网时间扩展的表达能力比较(2008) Cassez,Franck:部分可观测时间博弈的有效动态算法(2007) 卡塞兹,弗朗克; 大卫,亚历山大; 拉森,金G。; 石灰,迪迪埃; Raskin,Jean François:基于观察和结巴不变策略的定时控制(2007) 迪尔克斯,亨宁; 库普费希米德,塞巴斯蒂安; Larsen,Kim G.:时间自动机的自动抽象精化(2007) 卡塞纳克,弗朗索瓦; Boniol,Frederic:基于抽象方法验证分布式嵌入式系统的正式框架(2006) ioport公司 卡塞兹,弗朗克; 查坦,托马斯; Jard,Claude:时间自动机网络的符号展开(2006)