×

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

AsmetaSMV公司

2份文件引用(2016–2021)
软件作者: Arcaini,P.、Gargantini,A.、Riccobene,E。
相关软件: 昏迷;NuSMV;ASMETA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ASMETA公司

2份文件引用(2011–2021)
软件作者: 加甘蒂、帕卡尼、普斯卡杜拉、斯堪的纳维亚、西尔维亚邦凡提
相关软件: AsmetaSMV;昏迷;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

主字段