谦虚

此软件的关键字
zbMATH中的参考文献(参考
30篇文章, 1标准件 )
Baier,Christel;de Alfaro,Luca;Forejt,Vojtěch;Kwiatkowska,Marta:模型检验概率系统(2018) Bouyer,Patricia;Brihaye,Thomas;Carlier,Pierre;Menet,Quentin:随机时间自动机的组合设计(2016) Garavel,Hubert:重温过程计算中的顺序组合(2015) Latella,Diego;Massink,Mieke;de Vink,Erik P.:标记态到功能转换系统的协同模拟(2015) Gómez,Rodolfo:带截止期的模型检验时间自动机与Uppaal(2013) Hahn,Ernst Moritz;Hartmanns,Arnd;Hermanns,Holger;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013) Norman,Gethin;Parker,David;Sproston,Jeremy:概率时间自动机的模型检验(2013) D'Argenio,Pedro R.;Sánchez Terraf,Pedro;Wolovick,NicoláS:非确定性标记马尔可夫过程的双模拟(2012) Katoen,Joost Pieter;van de Pol,Jaco;Stoelinga,Mariëlle;Timmer,Mark:概率自动机数据的线性过程代数格式(2012) Markovski,J.;D'argenio,P.R.;Baeten,J.C.M.;de Vink,E.P.:调和实时和随机时间:概率细化的需要(2012) Fietzke,Arnaud;Hermanns,Holger;Weidenbach,Christoph:基于叠加的一阶概率时间自动机分析(2010) 希尔斯顿,简:集体动力学的过程代数。 (引申摘要)(2010) ioport公司 Mader,Angelika;Bohnenkamp,Henrik;Usenko,Yaroslav S.;Jansen,David N.;Hurink,Johann;Hermanns,Holger:成本最优计划的综合与随机评估(2010) ioport公司 van Beek,D.A.;Cuijpers,P.J.L.;Markovski,J.;Nadales Agut,D.E.;Rooda,J.E.:在混合合成环境中协调紧迫性和可变抽象性(2010) Gómez,Rodolfo:Uppaal时间自动机的合成翻译(2009) Markovski,Jasen;de Vink,Erik P.:基于离散实随机时间过程代数的分布式系统性能评估(2009) 徐天华;唐涛;高春海;蔡百根:列控系统中数据通信系统的可靠性分析(2009) Markovski,Jasen;de Vink,Erik P.:用离散随机时间扩展时间过程代数(2008) Meyer,Roland;Faber,Johannes;Hoenicke,Jochen;Rybalchenko,Andrey:模型检查持续时间演算:实用方法(2008) Marco Bernardo:马尔科夫行为等效性调查(2007)