CTCS-3级列控系统规范的建模与形式化验证方法研究
收藏- 大小：451.33 KB
- 语言：中文版
- 格式：PDF文档
- 类别：铁路论文
关键词：
资源简介
CTCS-3级列控系统规范的建模与形式化验证方法研究
资料为PDF文档格式.
本文档关键词:验证,规范,形式化,系统,建模