机译:基于图文法的对象流程图的形式验证
Faculty of Industrial Engineering and Management,Technion, Israel Institute of Technology,Technion City, 32000 Haifa, Israel;
Faculty of Industrial Engineering and Management,Technion, Israel Institute of Technology,Technion City, 32000 Haifa, Israel Massachusetts Institute of Technology,Cambridge, MA, USA;
formal system model; object-process modeling; graph transformation; model verification;
机译:对象 - 流程图作为Web服务组合的显式图形工具
机译:Stateflow图的正式建模和验证
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式,API和验证方法
机译:前缀机器-BORM OR图验证和模拟的正式基础
机译:分析序列图的正式框架
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式,API和验证方法
机译:关于系统规范,设计和验证的形式化方法的参考书目