论文 视频 会议 专家
订阅 投稿
2017年 第18卷 第11期
大纲
摘要
关键词
《信息与电子工程前沿(英文)》 >> 2017年 第18卷 第11期 doi: 10.1631/FITEE.1601196
UML状态图的机械语义和精化研究
Department of Computer Science and Technology, East China Normal University, Shanghai 200241, China.
UML状态图 ; Coq ; 精化 ; 结构化操作语义
正文
网站版权所有 © 2015 《中国工程科学》杂志社有限责任公司
关注我们