×

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

VPM公司

4份文件引用(2005–2007)
软件作者: 达尼尔·瓦罗(Dániel Varró),安德拉斯·帕塔里察(András Pataricza)
相关软件: VIATRA2;进度;AGG…
主要字段: 计算机科学(68-XX)

ACTLW公司

6篇文献引用(2008–2016)
软件作者:
相关软件: 自旋蛋白;奶牛;mCRL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

旋转到葡萄

6篇文献引用(2005–2010)
软件作者: 阿拉斯泰尔·唐纳森;爱丽丝·米勒(Alice Miller);卡德,莫菲
相关软件: 自旋蛋白;鹦鹉螺;SymmSpin…
主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)

兰花

3份文件引用(2005–2018)
软件作者: 朱利安·奥利文;让·古鲍特·拉雷克
相关软件:
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

Petri-PDL公司

3份文件引用(2016–2018)
软件作者: 克里斯蒂亚诺·布拉加;布鲁诺·洛佩斯
相关软件: 莫德
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

pyModelChecking(pyModel检查)

引用于2份文件(2021–2022)
软件作者: 卡萨格兰德,A
相关软件: eBCSgen;生物炭;libSBML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

TSMV公司

1份文件引用(2012)
软件作者: 马基,N.,施诺贝伦,P。
相关软件: 莫德;Uppaal;Kronos…
主要字段: 计算机科学(68-XX)

筛选结果依据…