×

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

违约

32篇文献引用(2011–2022)
软件作者: 亚历山大·唐泽
相关软件: S-TaLiRo;流量*;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

蒙保利

14篇文献引用(2015–2024)
软件作者: D.Basin、M.Harvan、F.Klaedtke、E.Zalinescu
相关软件: LOLA;德贾武;天线…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

卡萨尔

5份文件引用(2012–2022)
软件作者: 彼得·布利切夫(Peter Bulychev);亚历山大·戴维;古德斯特兰·拉森(Kim Guldstrand Larsen);Legay,Axel;李光远;丹尼·鲍尔森(Danny Bougsted Poulsen);阿米莉·斯坦纳
相关软件: Uppaal;UPPAAL TIGA;APMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

天线

4份文件引用(2017–2020)
软件作者: 德米特里·特拉泰尔
相关软件: LOLA;蒙保利;蒙特勒…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

qtlsolver(qtlsolver)

引用于2份文件(2015–2016)
软件作者: 马尔塞洛·M·贝尔萨尼。;罗西,马特奥;圣彼得罗,皮耶路易吉
相关软件: z3;佐特
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TaLiRo公司

引用于2份文件(2009–2011)
软件作者: 费内科斯、G.E.、帕帕斯、G.J。
相关软件: Matlab;违约;S-TaLiRo…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

孔特戈

1份文件引用(2017)
软件作者: 哈桑,莫诺瓦尔;Sibin Mohan;佩利佐尼,鲁道夫;Rakesh B.博巴。
相关软件:
主要字段: 计算机科学(68-XX)

独角兽

1份文件引用(2015)
软件作者: Bianculli D、Ghezzi C、Pietro PS
相关软件: PostgreSQL;LOLA;蒙保利
主要字段: 计算机科学(68-XX)

筛选结果依据…