基于Event-B的形式化建模关键技术研究 收藏 大小:287.53 KB 语言:中文版 格式:PDF文档 类别:电子信息 关键词:基于 关键 形式化 建模 技术研究 资源简介 基于Event-B的形式化建模关键技术研究 资料为PDF文档格式. 本文档关键词:基于,关键,形式化,建模,技术研究 下载地址 点击进入下载地址列表 上一篇:基于EVDO的电信移动网络自动拨测系统 下一篇:基于Eviews软件分析中国煤炭价格与GDP的动态效应