唐涛、徐田华、赵林编著的《列车运行控制系统规范建模与验证》针对列车运行控制系统的特点,介绍了实现列控系统需求规范的严格建模与验证所必须的理论与关键技术,重点阐述了建立在UML和符号模型检验基础上的列车运行控制系统需求规范形式化建模和验证方法。作为应用实例,介绍了如何使用本书介绍的理论和方法对CTCS-3级列控系统规范中的模式转换功能进行建模和形式化验证。
网站首页 软件下载 游戏下载 翻译软件 电子书下载 电影下载 电视剧下载 教程攻略
霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。