谦虚

一种随机时间系统的建模和描述语言本文介绍了一种描述离散事件系统行为的建模语言,称为谦虚。该语言结合了传统的编程结构(如迭代、替代、原子语句和异常处理)和以组合方式描述复杂系统的方法。此外,minute还包含了描述重要现象的方法,如非确定性、概率分支、硬实时以及软实时(即随机)方面。该语言受流行且用户友好的规范语言(如Promela)的影响,并以轻量级的进程代数风格处理组合性。因此,适度(i)涵盖了非常广泛的建模概念,(ii)具有严格的过程代数式语义,以及(iii)提供了现代和灵活的规范构造


zbMATH中的参考文献(参考 30篇文章,1标准件)

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

更多出版物请访问:https://depend.cs.uni-sb.de/publications/index.php