FaPAS公司 4份文件引用(2013–2018) 软件作者: B.约丹诺夫,C.贝尔塔 相关软件: NuSMV;VeriSIMPL;算法97… 主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)
康帕斯 1份文件引用(2013) 软件作者: 艾丁·戈尔(Ebru Aydin Gol);卡林·贝尔塔 相关软件: Matlab公司 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…