生物-PEPA 97篇文献引用(2008–2024) 软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、艾伦·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉 相关软件: 政治公众人物协议;棱镜;生物炭… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者: 麦克米兰K·L。 相关软件: NuSMV;自旋蛋白;SPOT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
CoCasl公司 26篇文献引用(2003–2014) 软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德 相关软件: CASL;莫德;赫茨… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
TVOC公司 20篇文献引用(2005–2022) 软件作者: 克拉克·巴雷特;方毅;本杰明·戈德伯格(Benjamin Goldberg);胡莹;阿米尔·普努利;勒诺尔·扎克 相关软件: CVT;Coq;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
阿克斯 20篇文献引用(2012–2023) 软件作者: 罗希特·查达(Rohit Chadha)、文森特·雪娃(Vincent Cheval)、特凡·乔布(tefan CiobácȘ)、史蒂夫·克莱默(Steve Kremer) 相关软件: 塔马林;AVISPA;Maude-NPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等 相关软件: WSAT;NuSMV;UFO… 主要字段: 计算机科学(68-XX)
rp.flm.测试 15篇文献引用(2019–2023) 软件作者: 库斯塔·阿尔贝托斯(Juan A.Cuesta-Albertos)。;加西亚-葡萄牙,爱德华多;Febrero-Bande,Manuel;文塞斯劳Gonz'alez-Manteiga 相关软件: fda(R);pffr;狮身人面像… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)
并发工作台 12份文件引用(2000–2022) 软件作者: P.Stevens等人 相关软件: CADP;SIGREF公司;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
安全Dpi 13份文件引用(2004–2011) 软件作者: 轩尼诗,马修;朱利安·拉特克(Julian Rathke);吉田、Nobuko 相关软件: 乔卡姆;MJ;Jif… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
规格 9份文件引用(2016–2023) 软件作者: A.Tiu 相关软件: 阿克斯;MWB;Abella… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
tK目标 6篇文献引用(2005–2008) 软件作者: 德尼古拉(De Nicola)、罗科(Rocco);丹尼尔·戈拉(Daniele Gorla);罗萨里奥·普格利泽 相关软件: 科莱姆;琳达;克拉瓦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
工艺品 4份文件引用(2011–2022) 软件作者: 伊万·波利亚科夫;丹尼尔·索科洛夫;安德烈·莫霍夫 相关软件: VipTool;基因;石化… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
SeVe公司 引用于2份文件(2012–2015) 软件作者: Luu,Anh Tuan;孙军;刘,杨;董金松 相关软件: 棱镜;拍打;卡斯珀… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)