首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿  |  旧版网站入口
小型微型计算机系统  2015, Vol. 36 Issue (7): 1426-1431    DOI:
最新目录| 下期目录| 过刊浏览| 高级检索 |
基于时间属性序列图的监控器构造方法
叶俊民1,辜剑1,陈曙1,董威2,舒绍娴2
1(华中师范大学 计算机学院,武汉 430079) 2(国防科技大学 计算机学院,长沙 410073)
Research of Runtime Verification Technology Based on Timed Sequence Diagram
YE Jun-min1,GU Jian1,CHEN Shu1,DONG Wei2,SHU Shao-xian2
1(Department of Computer Science,School of Central China Normal University,Wuhan 430079,China) 2(Department of Computer Science,School of National University of Defense Technology,Changsha 410073,China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn