违约 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)
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)