×

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

伊莎贝尔/UTP

19份文件引用(2015–2021)
软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克
相关软件: Isabelle/HOL;马戏团;Z、 …
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)

伊莎贝尔/马戏团

12份文件引用(2013–2017)
软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff
相关软件: Isabelle/HOL;电源保护;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

UTP2型

5份文件引用(2010–2019)
软件作者: 安德鲁·布特菲尔德
相关软件: 硫苷;Isabelle/HOL;Isabelle/UTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

苏氨酸

4份文件引用(2010–2017)
软件作者: 安德鲁·布特菲尔德
相关软件: UTP2;Isabelle/HOL;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

UTP铝业

引用于2份文件(2017–2020)
软件作者: 安德鲁·巴特菲尔德
相关软件: Isabelle/UTP;PVS;Coq…
主要字段: 计算机科学(68-XX)

筛选结果依据…