Model Transformation; Graph Transformation; Attribute Computation; Single Pushout;
机译:带有图转换的软件和系统建模,主题为《软件和系统建模杂志》
机译:在图形转换系统中验证具有相关属性的规范
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:在基本归属图形转换系统中结合证明,用于软件建模和验证
机译:在软件定义无线电的范围内,针对设计模型相对于其规格模型的符合性验证:一种模型转换方法。
机译:基于粗糙集理论的结合家庭和个人社会人口学与出行属性的模式选择行为建模
机译:基于嵌套归属图形条件的归属图形转换系统不变的正式验证