列车运行控制系统规范建模与验证（Word+PDF+ePub+PPT）
作者：唐涛(作者),徐田华(作者),赵林(作者)&0更多
出版：中国铁道出版社; 第1版 (2010年6月1日)
服务：人工校对0错代录+录完后精校排版
此为收费服务：会收取文档代录之人工费
预估录入后页数：206（带目录书签跳转）
请支持正版图书，莫将本服务所得用于非法目的
✅文档录入及格式制作人工服务，非骗流量 ❤️
录入后格式：PDF、Word、PPT、ePub、TXT
《列车运行控制系统规范建模与验证》主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS－3系统规范展开的实例分析。
《列车运行控制系统规范建模与验证》内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。
