ITP/OCL公司

此软件的关键字
zbMATH参考文献(参考
7篇文章
参考)
Almendros Jiménez,Jesús M.;Iribarne,Luis;López Fernández,Jesús;Mora Segura,Ángel:PTL:基于逻辑编程的模型转换语言(2016) 弗朗西斯科杜兰;曼努埃尔·罗尔丹;安东尼奥·莫雷诺;阿尔瓦雷斯、何塞·马利亚:UML模型的maude原型的动态验证(2014) ioport公司 Rocha,Camilo;Meseguer,José:使用Maude不变分析器工具对交替比特协议中可靠通信的机械分析(2014) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013) JoséMeseguer:《重写逻辑的二十年》(2012) Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2011) Clavel,Manuel;Egea,Marina:ITP/OCL:UML+OCL静态类图的基于重写的验证工具(2006) ioport公司