|
题名:
|
列车运行控制系统规范建模与验证 / 唐涛，徐田华，赵林著 , |
|
ISBN:
|
978-7-113-11460-2 价格： 30.00 |
|
语种:
|
chi |
|
载体形态:
|
206页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 中国铁道出版社 出版日期： 2010.06 |
|
内容提要:
|
本书针对列车运行控制系统的特点，介绍了实现列控系统需求规范的严格建模与验证所必须的理论与关键技术，重点阐述了建立在UML和符号模型检验基础上的列车运行控制系统需求规范形式化建模和验证方法。 |
|
主题词:
|
列车 运行 中国 |
|
主题词:
|
列车 |
|
主题词:
|
运行 |
|
主题词:
|
控制系统 |
|
中图分类法:
|
U284.48-65 版次： 4 |
|
主要责任者:
|
唐涛 著 |
|
主要责任者:
|
徐田华 著 |
|
附注:
|
国家自然科学基金——铁道联合重点项目(60634010)资助 |