|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|基于Event-B和Rodin开展形式化软件工程教学

基于Event-B和Rodin开展形式化软件工程教学

李梦君

计算机工程与科学2016，Vol.38Issue(A01)：P.143-145,3.
✕
计算机工程与科学2016，Vol.38Issue(A01)：P.143-145,3.

基于Event-B和Rodin开展形式化软件工程教学

李梦君1

作者信息

  • 1. 国防科学技术大学计算机学院,湖南长沙410073
  • 折叠

摘要

关键词

形式化软件工程/Event—B方法/Rodin

分类

社会科学

引用本文复制引用

李梦君..基于Event-B和Rodin开展形式化软件工程教学[J].计算机工程与科学,2016,38(A01):P.143-145,3.

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

访问量0
|
下载量0
段落导航相关论文