中央军委

此软件的关键字
zbMATH中的参考文献(34篇文章中引用)
Costa,Gabriele;Galletta,Letterio;Degano,Pierpaolo;Basin,David;Bodei,Chiara:作为部分模型检查的自然投影(2020年) Aceo,Luca;Fábregas,Ignacio;Gregorio Rodríguez,Carlos;Ingólfsdóttir,Anna:投入产出一致性模拟的逻辑特征、规则格式和组合性(2019年) Garavel,Hubert;Lang,Frédéric;Mateescu,Radu:使用CADP对异步并发系统的组合验证(2015) Byg,Joakim;Jacobsen,Morten;Jacobsen,Lasse;Jørgensen,Kenneth Yrke;Moller,Mikael Harkjær;Srba,Jiří:TCTL从时间弧Petri网到时间自动机网络的转换(2014) Fontana,Peter;Cleaveland,Rance:证明的力量:时间自动机模型检查的新算法(2014) Fontana,Peter;Cleaveland,Rance:时间自动机的动物园(2014) Lang,Frédéric;Mateescu,Radu:使用标记过渡系统和布尔方程系统网络的部分模型检查(2013年) Timo,Omer Landry Nguena;Reynier,Pierre Alain:关于事件记录自动机的特征公式(2013) Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013) Aceto,Luca;Birgisson,Arnar;Ingólfsdóttir,Anna;Mousavi,Mohammadeza:关于并行过程历史的分解推理(2012) 布耶,帕特里夏;卡塞兹,弗朗克;拉鲁西尼,弗朗索瓦:实时系统的时间模态逻辑。 规范和控制(2011) Jacobsen,Lasse;Jacobsen,Morten;Moller,Mikael H.;Srba,Jiří:时间弧Petri网的验证(2011) Larsen,Kim Guldstrand:时间自动机的符号和组合可达性(2010) Boniol,Frédéric;Ermont,Jérôme;Pagetti,Claire:实时系统的先发制人验证:消极和积极结果(2009) ioport公司 Srba,Jiří:时间自动机和Petri网时间扩展的表达能力比较(2008) Cassez,Franck:部分可观测时间博弈的有效动态算法(2007) Cassez,Franck;David,Alexandre;Larsen,Kim G.;Lime,Didier;Raskin,Jean François:基于观察和结巴不变策略的定时控制(2007) Dierks,Henning;Kupferschmid,Sebastian;Larsen,Kim G.:时间自动机的自动抽象精化(2007) Carcenac,Francois;Boniol,Frederic:基于抽象方法验证分布式嵌入式系统的正式框架(2006) ioport公司 Cassez,Franck;Chatain,Thomas;Jard,Claude:时间自动机网络的符号展开(2006)