普茂德

PMaude：基于概率的对象系统重写规范语言。我们介绍了一个基于重写的规范语言建模概率并发和分布式系统。基于PMADUD的语言既有严格的形式基础，又有基于高级规则的编程语言的特性。此外，我们提供工具支持进行离散事件模拟在PMADUD中写入的模型，并基于离散事件模拟产生的样本统计分析这些模型的各种定量方面。因为可以使用演员（并发异步消息传递的对象）来模拟分布式和并发通信协议，所以我们提供了一个演员PMAUDE模块。该模块有助于在概率演员形式主义编写规范。这使我们能够容易地编写纯粹是概率的规范，而不仅仅是非确定性的。我们还讨论了在概率系统中缺少这种（未量化）非确定性的统计分析形式。具体地，我们引入一种查询语言，称为定量时间表达式（简称QuATEX），以查询概率模型的各种定量方面。我们还描述了一种统计技术来评估概率模型的QuATEX表达式。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（29篇文章中引用）

显示结果1至20的29。
按年份排序（引文）
  1. 杜拉恩，弗朗西斯科；Eker，史提芬；埃斯科巴，圣地亚哥；MaMi'-OLIET，纳西索；MeeGuer-Joee；Rubio，RoueN；塔尔科特，卡洛琳：Mod（2020）中的程序设计和符号计算
  2. 费尔南德斯，Maribel；基什内尔，H·L·E，Pinaud，布鲁诺：战略端口图重写：交互建模框架（2019）
  3. 刘，SI；奥尔维茨基，Peter Csaba；王，齐；Gupta，Indranil；MeeGuer-Joe:：阅读原子事务与防止丢失更新：ROLA及其形式分析（2019）
  4. 莱莫斯，Marcilio O. O.；Dantas，Yuri Gil；丰塞卡，Iguatemi E.，NigAM，维韦克：关于TDoS攻击选择性防御的形式验证的准确性（2018）
  5. Maximova，玛丽亚；吉塞，霍格尔；克劳斯，克里斯蒂安：概率时间图变换系统（2018）
  6. 刘，SI；U.LVECZKY，Peter Csaba；MeeGuer-Joe:实时移动自组网的建模与分析（2016）
  7. Elleuch，MaSSa；Hasan，奥斯曼；TaHar，Soffi-Ene；Abid，穆罕默德：无线传感器网络检测特性的形式概率分析（2015）
  8. 刘，SI；厄维列茨基，Peter Csaba；MeeGuer-Joee:用实时Maod（2015）对MANET中的领导者选举进行形式分析
  9. 马蒂奥利特，纳西索；奥尔维茨基，Peter Csaba；塔尔科特，卡洛琳：乔塞梅塞格：科学家和朋友非凡（2015）
  10. Belzner，楞次；De Nicola，罗科；范丁，安德列；Wirsing，马丁：重写逻辑中的服务组件集成的推理（2014）伊波尔特
  11. 那卡继玛，申：OBJ语言家族的永恒挑战（2014）伊波尔特
  12. Bentea，卢西恩；U.LVEECZKY，Peter Csaba：概率重写理论的概率策略语言及其在云计算中的应用（2013）
  13. 埃克哈特，乔纳斯；M.Hulbaor，托拜厄斯；MeeGuer-Joee；Wirsing，马丁：复合角色系统的统计模型检验（2013）
  14. MeeGuer-Joee，Roüu，Grigo:重写逻辑语义项目：进度报告（2013）
  15. Bulychev，彼得；戴维，亚历山大；Guldstrand Larsen，基姆；Leay，阿克塞尔；李，广元；B·GSTED，Y；Sistar，Amiel:基于度量的统计度量模型检验加权度量时态逻辑（2012）
  16. Katelman，米迦勒；凯勒，肖恩；梅塞格，约瑟夫：生产规则集的重写语义（2012）
  17. 克劳斯，基督教；吉塞，霍格尔：概率图变换系统（2012）
  18. 梅塞格，乔斯：重写逻辑的二十年（2012）
  19. Wrrn，马丁；埃克哈特，乔纳斯；MuHulbor，托拜厄斯；MeeGuer-Joe:基于KLAIM和Mod（2012）的云结构的设计和分析伊波尔特
  20. AlTurki，Musab；MeeGuer-Joe: PVeSTA：并行统计模型检验和定量分析工具（2011）伊波尔特