| 注册
首页|期刊导航|铁路通信信号工程技术|基于模型的软件需求验证方法研究与应用

基于模型的软件需求验证方法研究与应用

陈弘博

铁路通信信号工程技术2018,Vol.17Issue(9):10-15,6.
铁路通信信号工程技术2018,Vol.17Issue(9):10-15,6.DOI:10.3969/j.issn.1673-4440.2018.09.003

基于模型的软件需求验证方法研究与应用

Research and Application of Model-based Software Requirement Verification Method

陈弘博1

作者信息

  • 1. 北京全路通信信号研究设计院集团有限公司,北京 100070
  • 折叠

摘要

关键词

软件需求验证/模型化/状态转移矩阵

分类

交通工程

引用本文复制引用

陈弘博..基于模型的软件需求验证方法研究与应用[J].铁路通信信号工程技术,2018,17(9):10-15,6.

铁路通信信号工程技术

1673-4440

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