| 注册
首页|期刊导航|哈尔滨工程大学学报|基于CHAM模型的LTS状态树生成算法

基于CHAM模型的LTS状态树生成算法

叶俊民 王振宇 曹瀚 赵恒

哈尔滨工程大学学报2003,Vol.24Issue(3):287-291,5.
哈尔滨工程大学学报2003,Vol.24Issue(3):287-291,5.

基于CHAM模型的LTS状态树生成算法

Generation algorithm of LTS state tree based on CHAM model

叶俊民 1王振宇 2曹瀚 3赵恒1

作者信息

  • 1. 哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001
  • 2. 华中师范大学计算机科学系,湖北,武汉,430079
  • 3. 武汉大学计算机软件工程国家重点实验室,湖北,武汉,430072
  • 折叠

摘要

关键词

化学抽象模型/软件体系结构/LTS生成算法/体系结构测试

分类

信息技术与安全科学

引用本文复制引用

叶俊民,王振宇,曹瀚,赵恒..基于CHAM模型的LTS状态树生成算法[J].哈尔滨工程大学学报,2003,24(3):287-291,5.

基金项目

武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020). (SKL(4)

哈尔滨工程大学学报

OACSTPCD

1006-7043

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