谦虚

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


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

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

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