登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
Abstract state machine based system design and analysis for grids
作者:Liu, Hui
*
; Li, Ming Lu
来源:
Acta Electronica Sinica
, 2003, 31(SUPPL.): 2096-2100.
Abstract state machine languages
Abstract state machines
Executable specifications
Finite state machines
Grids
Software test
出版日期
2003
单位
上海交通大学
全文
全文
访问全文
相似论文
引用论文
参考文献