当前位置: 首页 电子通信 电子信息 基于Event-B的形式化建模关键技术研究

基于Event-B的形式化建模关键技术研究

收藏
  • 大小：287.53 KB
  • 语言：中文版
  • 格式：PDF文档
  • 类别：电子信息
关键词：基于   关键   形式化   建模   技术研究

资源简介

基于Event-B的形式化建模关键技术研究
  • 资料为PDF文档格式.
  • 本文档关键词:基于,关键,形式化,建模,技术研究

    • 下载地址

    点击进入下载地址列表