Attributed and Typed Graph Transformation Systems; Model Checking; Verification;
机译:在图形转换系统中验证具有相关属性的规范
机译:容错系统规范和验证的转换方法:正式背景和分类
机译:容错系统规范和验证的转换方法:正式背景和分类
机译:属性图和类型图转换系统的形式验证
机译:基于图的模型转换的形式验证
机译:网络物理系统中控制模块的正式验证
机译:基于嵌套归属图形条件的归属图形转换系统不变的正式验证
机译:一种实用的LIsp形式语义定义与验证系统。