深面(DeepFace) 32篇文献引用(2015–2023) 软件作者: Taigman Y,Yang M,Ranzato M,Wolf L。 相关软件: ImageNet;AlexNet;FaceNet… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
垫片 30篇文献引用(2015–2023) 软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基 相关软件: z3;CVC4;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)
MARTE公司 10篇文献引用(2009–2017) 软件作者: 对象管理集团。 相关软件: SysML;Uppaal;旋转… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)
SCADE公司 14篇文献引用(2001–2019) 软件作者: 杰拉德·贝里;Esterel科技 相关软件: Simulink;卢斯特;酯类… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
LTSA-WS公司 12份文件引用(2006–2021) 软件作者: Magee J、Kramer J、Uchitel S等 相关软件: WSAT;NuSMV;UFO… 主要字段: 计算机科学(68-XX)
fc2工具 12份文件引用(1999–2022) 软件作者: Bouali,A.、Ressouche,A.、Roy,V.、de Simone,R。 相关软件: CADP;到期未结;CAESAR_SOLVE… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)
UMM公司 6篇文献引用(2007–2016) 软件作者: Yang Y、Gopalakrishnan G、Lindstrom G 相关软件: Coq;检查围栏;TSOTool… 主要字段: 计算机科学(68-XX)
CoMA公司 引用于2份文件(2016年至2021年) 软件作者: P Arcaini、A Gargantini、E Riccobene 相关软件: AsmetaSMV;NuSMV;ASMETA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
时代广场 3份文件引用(2015–2016) 软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet) 相关软件: 埃斯特尔;Uppaal;信号… 主要字段: 计算机科学(68-XX)
Verisig公司 4份文件引用(2021–2022) 软件作者: 拉多斯拉夫·伊万诺夫;Taylor Carpenter;詹姆斯·韦默(James Weimer);拉杰夫·阿鲁尔;乔治·帕帕斯(George Pappas);李因苏普 相关软件: NNV;Reluplex;AI2… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
SL2SX系列 3份文件引用(2019–2023) 软件作者: 斯特凡诺·米诺波利;戈兰·弗雷斯 相关软件: Simulink;Isabelle/HOL;Matlab… 主要字段: 计算机科学(68-XX)
美国国际开发署 在0个文档中引用 软件作者: 阿尔伯特·波杜森科(Albert Podusenko)、巴特·范·埃尔普(Bart van Erp)、马格努斯·库达尔(Magnus Koudahl)、贝尔特·德弗里斯(Bert de Vries) 相关软件: 反向Diff.jl;转发差异;图灵… 主要字段: –
OpenMETA公司 在0个文档中引用 软件作者: 贾诺斯·什蒂帕诺维茨(Janos Sztipanovits);泰德·巴普蒂;尼玛、桑迪普;拉里·霍华德;伊桑·杰克逊 相关软件: OpenModelica;z3(零3) 主要字段: 计算机科学(68-XX)