Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen) 相关软件: Uppaal公司;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
PyYAML公司 4份文件引用(2014–2022) 软件作者: 基里尔·西蒙诺夫 相关软件: 蟒蛇;SciPy;数字标识… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
HyPhy公司 3份文件引用(2017–2022) 软件作者: Kosakovsky Pond SL、Frost SDW、Muse SV 相关软件: 数据猴子;蟒蛇;物理… 主要字段: 总体主题;藏品(00-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)
swSim软件 在0个文档中引用 软件作者: 伊丽莎白·格雷戈里(Elizabeth D.Gregory)、威廉·施奈克(William C.Schneck)、埃里克·弗兰克福特(Erik L.Frankforter) 相关软件: 谷歌测试;保管;VTK… 主要字段: ——