罗密欧

此软件的关键字
zbMATH中的参考文献(参考
26篇文章
26篇文章
引用, 1标准件 )
法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年) Patricia Bouyer;Uli Fahrenberg;Kim Guldstrand;Markey,Nicolas;Ouakine,Joël;Worrell,James:模型检查实时系统(2018) André,çtienne;Benmoussa,Mohamed Mahdi;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016) Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:基于离散化的定时弧Petri网博弈的实时策略综合(2016) Klai,Kais:时间聚集图:时间Petri网基于事件和状态的定量性质的有限图(2015) Byg,Joakim;Jacobsen,Morten;Jacobsen,Lasse;Jørgensen,Kenneth Yrke;Moller,Mikael Harkjær;Srba,Jiří:TCTL从时间弧Petri网到时间自动机网络的转换(2014) Lime,Didier;Martinez,Claude;Roux,Olivier H.:时间Petri网的收缩(2013) Baraguer,Sandie;Chatain,Thomas;Haar,Stefan:从时间Petri网到时间自动机网络的并发保护转换(2012) David,Alexandre;Jacobsen,Lasse;Jacobsen,Morten;Jørgensen,Kenneth Yrke;Moller,Mikael H.;Srba,Jiří:TAPAAL 2.0:定时弧Petri网的集成开发环境(2012) Lepri,Daniela;Ábrahám,Erika;Álveczky,Peter Csaba:实时Maude中的定时CTL模型检查(2012) Jacobsen,Lasse;Jacobsen,Morten;Moller,Mikael H.;Srba,Jiří:时间弧Petri网的验证(2011) de Lara,Juan;Vangheluwe,Hans:自动化基于转换的视觉语言分析(2010) Grabiec,Bartosz;Traonouez,Louis-Marie;Jard,Claude;Lime,Didier;Roux,Olivier H.:使用参数时间Petri网的展开进行诊断(2010) Penczek,Wojciech;Pòłrola,Agata;Zbrzezny,Andrzej:一类分布式时间Petri网的基于SAT的(参数)可达性(2010) Traonouez,Louis Marie;Grabiec,Bartosz;Jard,Claude;Lime,Didier;Roux,Olivier H.:参数秒表Petri网的符号展开(2010) Boucheneb,Hanifa;Gardey,Guillaume;Roux,Olivier H.:时间Petri网的TCTL模型检验(2009) Lime,Didier;Roux,Olivier(H.):具有抢占式调度的实时系统的形式化验证(2009) Stöcker,Jan;Lang,Frédéric;Garavel,Hubert:《实时和数据并行处理:Atlantf中间格式》(2009) Abdelli,Abdelkrim;Badache,Nadjib:构建TSPN模型的状态类图(2008) Bérard,B.;Cassez,F.;Haddad,S.;Lime,D.;Roux,O.H.:什么时候时间自动机弱时间双相似于时间Petri网? (2008年)