位置：成果数据库 > 期刊 > 期刊详情页
基于UML2.0模型的测试用例生成方法
  • 期刊名称：西安交大学报
  • 时间：0
  • 页码：32-38
  • 语言：中文
  • 相关项目：基于FPGA的高可信嵌入式系统的基础研究
作者： 张琛|段振华|
同期刊论文项目
基于FPGA的高可信嵌入式系统的基础研究
期刊论文 15 会议论文 9
同项目期刊论文
Axiomic system
A Cylindrical Semantic Model for Many-core Parallel Computing
基于命题投影时序逻辑的单调速率调度算法模型检测
Expressiveness of Propositional Projection Temporal Logic with Star
有穷时间投影时序逻辑的完备公理系统
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换