动量2

此软件的关键字
zbMATH中的参考文献(参考
Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013) Bae,Kyungmin;lveczky,Peter Csaba;Feng,Thomas Huining;Lee,Edward A.;Tripakis,Stavros:使用实时maude验证分层托勒密II离散事件模型(2012) Lepri,Daniela;Ábrahám,Erika;Álveczky,Peter Csaba:实时Maude中的定时CTL模型检查(2012) JoséMeseguer:《重写逻辑的二十年》(2012) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2011) Boronat,Artur;Meseguer,José:MOF的代数语义(2010) Boronat,Artur;厄尔维茨基,Peter Csaba:MOMENT2中的形式实时模型转换(2010) ioport公司 de Lara,Juan;Guerra,Esther;Boronat,Artur;Heckel,Reiko;Torrini,Paolo:特定领域离散事件时间模拟的图变换(2010) Rivera,JoséE.;Durán,Francisco;Vallecillo,Antonio:论实时领域特定视觉语言的行为语义(2010)