欢迎访问学兔兔论文下载网,学习、交流 分享 !

返回首页 |
当前位置: 首页 > 论文文档>铁路论文 >基于Event-B的计算机联锁安全规范描述与验证

基于Event-B的计算机联锁安全规范描述与验证

收藏
  • 大小:256.16 KB
  • 语言:中文版
  • 格式: PDF文档
  • 类别:铁路论文
关键词:
资源简介
  • 基于Event-B的计算机联锁安全规范描述与验证,资料为PDF文档格式.
  • 本文档关键词:验证,基于,描述,计算机,规范


  • 推荐信息