×

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

聚乙烯醇水杨酸

14篇文献引用(2011–2023)
软件作者: AlTurki,M.,Meseguer,J
相关软件: 莫德;PMaude;维斯塔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

时刻2

引用于9份文件(2010–2016)
软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基
相关软件: 莫德;ITP/OCL;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

距离-弧度

5份文件引用(2011–2015)
软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔
相关软件: 莫德;爪哇风扇;Java+ITP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AADL公司

3份文件引用(2012–2016)
软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer
相关软件: 电子LOTOS;GRL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

同步AADL2音频

2份文件引用(2015年)
软件作者: Bae,K.,Ølveczky,P.C.,Meseguer,J.,Al-Nayeem,A。
相关软件: 莫德;Uppaal;TSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…