OFMC公司 25篇文献引用(2005–2022) 软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺 相关软件: AVISPA;NRL;Casper… 主要字段: 数学逻辑与基础(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)…