PESSOA公司 26篇文献引用(2011–2022) 软件作者: 普里塔姆·罗伊;保罗·塔布阿达;鲁帕克·马朱姆达尔 相关软件: SCOTS;科西马;TuLiP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
libFAUDES公司 10篇文献引用(2010–2020) 软件作者: Bernd Opitz、Thomas Moor、Klaus Schmidt 相关软件: UMDES;TCT;害虫… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
德斯科 4份文件引用(2000–2011) 软件作者: 马丁·费边(Martin Fabian);安德斯·海尔格伦 相关软件: UMDES;Uppaal公司 主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)
AROC公司 3份文件引用(2021–2023) 软件作者: Kochdumper,N。;格鲁伯,F。;舒尔曼,B。;加曼,V。;Klischat,M。;阿尔托夫,M。 相关软件: SCOTS;ROCS;CoSyma… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
干燥VR 3份文件引用(2017–2021) 软件作者: 齐、伯伦;范、楚楚;姜明浩;萨扬·密特拉 相关软件: S-TaLiRo;Dymola;dReach… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
OmegaThreads公司 3份文件引用(2021–2022) 软件作者: 马哈茂德·哈立德;马吉德·扎马尼 相关软件: p面;SCOTS;条纹… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)