列车运行控制系统规范建模与验证
书 号：9787113114602
丛 书 名：
作 者：唐涛 徐田华 赵林
译 者：
开 本：16开
装 帧：平装
正文语种：
出 版 社：中国铁道出版社有限公司
定 价：30元
-
内容简介
本书结合列车运行控制系统的特点，介绍了实现列控系统需求规范的严格建模与验证所必须的理论与关键技术，重点阐述了建立在UML和符号模型检验基础上的列车运行控制系统需求规范形式化规范建模和验证方法。 -
前言
-
目录
-
作者介绍
主要著译者顺序姓名学历职称学科专长通讯地址1唐涛 博士 教授信号 工作单位北京交大 邮政编码 电话 2徐田华 工作单位北京交大 邮政编码 电话 3 赵林 工作单位 北京交大邮政编码 电话 审校者（主审者） 学历 工作单位 邮政编码 电话 职称 工作单位 邮政编码 电话 -
编辑推荐
是理论专著，专业人员需要学习了解 -
书评书荐
-
附件下载
图书推荐
