×

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

MiniMaxSat卫星

39篇文献引用(2008–2023)
软件作者: 费德里科·赫拉斯;哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯
相关软件: 周六4j;最大HS;QMaxSAT…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;卡斯珀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

S-TaLiRo型

26篇文献引用(2011–2023)
软件作者: Annpureddy,Yashwanth;刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆
相关软件: 违约;SpaceEx;流量*…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

飞天螳螂

在14份文件中引用(2009–2017)
软件作者: 克雷默斯,C。
相关软件: AVISPA;阿克斯;塔马林…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

迪维尔

引用于9份文件(2005–2010)
软件作者: Malay K.Ganai。;阿蒂·古普塔;普拉纳夫·阿沙尔
相关软件: 糠;卫星抗体;CBMC…
主要字段: 测量和集成(28-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

验证

7份文件引用(2021–2024)
软件作者: 托马索·德罗西(Tommaso Dreossi)、丹尼尔·弗雷蒙特(Daniel J.Fremont)、施洛蒙娜·戈什(Shromona Ghosh)、爱德华·金(Edward Kim)、哈迪·拉文巴赫(Hadi Ravanbakhsh)、马塞尔·巴斯奎兹·香拉特(Marcell Vazque
相关软件: Reluplex;NNV;风景优美…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

西塔

2份文件引用(2015–2021)
软件作者: 乔蒂莫·德斯穆赫(Jyotirmoy Deshmukh);金小青;詹姆斯·卡宾斯基(James Kapinski);奥德·马勒
相关软件: 违约;S-TaLiRo;自适应压力测试.jl…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

RISCAL公司

2份文件引用(2018)
软件作者: 沃尔夫冈·施莱纳
相关软件: 尼特皮克;数学聊天;CoqHammer…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

反向彩铃

1份文件引用(2018)
软件作者: 纳瓦罗·洛佩斯;医学博士O'Toole。
相关软件: 抱怨;梅斯恰赫;ABsolver…
主要字段: 粒子和系统力学(70-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)

鬣蜥

1份文件引用(2015)
软件作者: P.麦克明。
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段