状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
云模拟 22篇文献引用(2012–2023) 软件作者： 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚 相关软件： iFogSim；网格模拟；pMapper… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
伽利略 10篇文献引用(2000–2017) 软件作者： Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件： NuSMV；DFTCalc；DIFtree… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
宝石派 5份文件引用(2019–2024) 软件作者： 米盖尔·德拉·瓦尔加、亚历山大·沙夫、弗洛里安·威尔曼 相关软件： 红色套件；大熊猫；光栅… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
哈瓦那 5份文件引用(2010–2023) 软件作者： Hollund K、Mostad P、Fredrik Nielsen B、Holden L、Gjerde J、Grazia Contursi M、McCann AJ、Townsend C、Sverdrup E 相关软件： SGeMS；Roxar RMS；AlexNet… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；地球物理学（86-XX）
DAG地图 引用于3份文件(2012–2017) 软件作者： 曹海军；金、海；吴晓欣；吴松；石、宣化 相关软件： Globus工具包；DAGMan；网格模拟 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
PowerDynamics.jl公司 1份文件引用(2021) 软件作者： 安东·普列茨奇、拉斐尔·科格勒、萨宾·奥尔、朱莉娅·梅里诺、阿西尔·吉尔·德穆罗、简·李、克里斯蒂娜·沃格尔、弗兰克·赫尔曼 相关软件： 朱莉娅；微分方程.jl；随机延迟DiffEq.jl… 主要字段： 动力系统和遍历理论（37-XX）
MR4UM公司 2份文件引用(2013–2019) 软件作者： 陈景舒；桑迪普·库尔卡尼 相关软件： Uppaal；Vertaf；Sycraft… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
传感器扫描 在0个文档中引用 软件作者： 马克西姆·戈利亚德金（Maksim Golyadkin）；波兹德尼亚科夫，维塔利；列奥尼德·朱可夫；伊利亚·马卡洛夫 相关软件： GPT-3；SimCLR公司；UMAP… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
蛇机器人运动 1份文件引用(2022) 软件作者： 安娜·西比尔斯卡·莫罗齐维奇；雅库布·莫·阿林；阿伊莎·哈米德；费尔南德斯，玛丽亚·莫利纳；安德烈·奥尔迪斯 相关软件： github；Matlab公司 主要字段： 粒子和系统力学（70-XX）；系统论；控制（93-XX）