|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
电子学报
|
基于抽象状态机的网格系统设计和分析
基于抽象状态机的网格系统设计和分析
刘晖
李明禄
电子学报
2004，Vol.31
Issue(B12)：2096-2100,5.
下载
✕
电子学报
2004，Vol.31
Issue(B12)
：2096-2100,5.
基于抽象状态机的网格系统设计和分析
刘晖
1
李明禄
1
作者信息
折叠
摘要
关键词
抽象状态机
/
抽象状态机语言
/
网格
/
软件测试
/
可执行规范
/
有限状态机
分类
信息技术与安全科学
引用本文
复制引用
刘晖,李明禄..基于抽象状态机的网格系统设计和分析[J].电子学报,2004,31(B12):2096-2100,5.
电子学报
OA
北大核心
CSCD
CSTPCD
ISSN：
0372-2112
下载
访问量
0
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本
