聚乙烯醇水杨酸 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、Peterlveczky、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)