谦虚

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


zbMATH中的参考文献(参考文献32条,1标准件)

显示第1到第20个结果,共32个。
按年份排序(引用)
  1. 拉瓦艾,阿博法兹;哈立德,马哈茂德;苏加尼,萨德格;Zamani,Majid:AMYTISS:大型随机系统自动控制器综合的并行化工具(2020)
  2. 高基,纳撒利;Abate,Alessandro:海报摘要:StocHy——随机过程的自动验证和综合。(2019年)
  3. 拜尔,克里斯特尔;德阿尔法罗,卢卡;弗雷特,沃伊特ěch;概率性检查(Martkwiska,2018)
  4. 布耶,帕特里夏;布里海伊,托马斯;卡莱尔,皮埃尔;Menet,Quentin:随机时间自动机的组合设计(2016)
  5. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  6. 拉特拉,迭戈;马辛克,麦基;de Vink,Erik P.:标记态到功能转换系统的协同模拟(2015)
  7. Gómez,Rodolfo:带截止期的模型检验时间自动机与Uppaal(2013)
  8. 哈恩,恩斯特莫里茨;哈特曼,阿恩德;赫尔曼,霍尔格;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013)
  9. 诺曼,格钦;帕克,大卫;Sproston,Jeremy:概率时间自动机的模型检验(2013)
  10. D'Argenio,佩德罗·R。;桑切斯特拉夫,佩德罗;Wolovick,Nicolás:非确定性标记马尔可夫过程的双模拟(2012)
  11. 卡托恩,乔斯特·皮尔特;范德波尔,雅科;斯托琳加,玛丽埃尔;Timmer,Mark:概率自动机数据的线性过程代数格式(2012)
  12. 马尔科夫斯基,J。;D'argenio,中华人民共和国。;贝顿,J.C.M。;de Vink,E.P.:调和实时和随机时间:概率细化的需要(2012)
  13. 菲茨克,阿诺;赫尔曼,霍尔格;魏登巴赫,克里斯托夫:基于叠加的一阶概率时间自动机分析(2010)
  14. 希尔斯顿,简:集体动力学的过程代数。(引申摘要)(2010)ioport公司
  15. 玛德,安吉丽卡;博内坎普,亨里克;雅罗斯拉夫乌森科。;詹森,大卫·N。;约翰·胡林克;Hermanns,Holger:成本最优计划的综合与随机评估(2010)ioport公司
  16. 范比克,D.A。;库杰珀斯,P.J.L。;马尔科夫斯基,J。;纳达尔·阿古特,D.E。;Rooda,J.E.:在混合合成环境中协调紧迫性和变量抽象(2010)
  17. Gómez,Rodolfo:Uppaal时间自动机的合成翻译(2009)
  18. 马科夫斯基,贾森;de Vink,Erik P.:基于离散实随机时间过程代数的分布式系统性能评估(2009)
  19. 徐天华;唐、陶;高春海;蔡百根:列车控制系统中数据通信系统的可靠性分析(2009)
  20. 马科夫斯基,贾森;de Vink,Erik P.:用离散随机时间扩展时间过程代数(2008)

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