×

找到2个软件包(结果1-2)

TorX公司

16篇文献引用(2005–2021)
软件作者: 亨利克·博恩坎普(Henrik Bohnenkamp);埃克塞尔·贝林芬特
相关软件: JTorX;SpecExplorer;STG…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

JTorX公司

4份文件引用(2010–2018)
软件作者: 埃克塞尔·贝林芬特
相关软件: TorX;CADP;Uppaal…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段