MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
锋利的 38篇文献引用(1992–2024) 软件作者： 罗宾，萨纳；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
COSMOS公司 6篇文献引用(2013–2021) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MRM解决方案 4份文件引用(2000–2006) 软件作者： Rácz，Sándor；托特，贝拉·P·。；米克洛斯·特莱克 相关软件： – 主要字段： 积分变换，运算微积分（44-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…