E-LOTOS公司

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Jebali,Fatma;Lang,Frédéric;Mateescu,Radu:使用GRL和CADP对GALS系统进行正式建模和验证(2016年) Garavel,Hubert:重温过程计算中的顺序组合(2015) Garavel,Hubert;Lang,Frédéric;Mateescu,Radu:使用CADP对异步并发系统的组合验证(2015) Keiren,Jeroen J.A.:平价游戏的基准(2015) ioport公司 Mateescu,Radu;Salaün,Gwen:PIC2LNT:模型检查的模型转换应用pi演算(2013) Mateescu,Radu;Serwe,Wendelin:共享内存互斥协议的CADP模型检查和性能评估(2013) ioport公司 Katoen,Joost Pieter;van de Pol,Jaco;Stoelinga,Mariëlle;Timmer,Mark:概率自动机数据的线性过程代数格式(2012) Blom,Stefan;Lisser,Bert;van de Pol,Jaco;Weber,Michael:分布式状态空间生成的数据库方法(2011) Garavel,Hubert;Lang,Frédéric;Mateescu,Radu;Serwe,Wendelin:CADP 2010:分布式过程的构造和分析工具箱(2011) 赫尔曼斯,霍尔格;卡托恩,乔斯特·皮尔特:互动马尔可夫链的方式和原因(2010) Blom,Stefan;van de Pol,Jaco:具有递归数据类型的过程代数的符号可达性(2008) Mateescu,Radu;Monteiro,Pedro T.;Dumas,Estelle;de Jong,Hidde:遗传调节网络的计算树正则逻辑(2008) Lang,Frédéric:用于组合验证的改进接口(2006) Loghi,Mirko;Margaria,Tiziana;Pravadelli,Graziano;Steffen,Bernhard:嵌入式系统的动态和形式验证:比较调查(2005) 梅斯格尔,何塞;罗şu,格里戈尔:重写逻辑语义学:从语言规范到形式分析工具(2004) Robinson,Peter;Shankland,Carron:使用Ergo对抗无限状态(2003) Garavel,Hubert;Lang,Frédéric:NTIF:用数据通信顺序过程的通用符号模型(2002) 赫尔曼,霍尔格:交互式马尔可夫链。 以及对量化质量的追求(2002) D'Argenio,Pedro R.;Hermanns,Holger;Katoen,Joost Pieter;Klaren,Ric:一种随机时间系统的建模和描述语言(2001) Judi Romijn:IEEE 1394领导人选举协议的定时验证(2001)