LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等 相关软件: WSAT;NuSMV;UFO… 主要字段: 计算机科学(68-XX)
SAAM II公司 4份文件引用(2000–2014) 软件作者: 巴雷特、P H R、贝尔、B M、科贝利、C、戈尔德、H、舒米茨基、A、维奇尼、P、福斯特、D M 相关软件: 蟒蛇;wxPython;Matplotlib… 主要字段: 生物学和其他自然科学(92-XX);系统论;对照(93-XX)
海龟-P 引用于2份文件(2003–2006) 软件作者: 卢多维奇(Ludovic Apvrille);皮埃尔·德·萨奎·桑奈斯(Pierre De Saqui-Sannes);费哈特·肯德克 相关软件: Uppaal;克罗诺斯;税收… 主要字段: 计算机科学(68-XX)
开放式多媒体数据存储系统 1份文件引用(2017) 软件作者: 埃尔梅森·C·安德拉德。;阿尔维斯,马塞洛;马托斯、鲁本斯;布鲁诺·席尔瓦;保罗·马西尔 相关软件: – 主要字段: 运筹学、数学规划(90-XX);系统论;对照(93-XX)