1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 汽车/机械/制造
  5. 工业自动化

列控系统需求规范形式化建模和验证方法研究.pdfVIP

  • 15
  • 0
  • 约14.34万字
  • 发布于安徽
  • 举报
  • 文档已下架，其它文档更精彩

列控系统需求规范形式化建模和验证方法研究.pdf

    中图分类号：U283．2：TP301 学校代码：10004 UDC：629．4 密级：公开 北京交通二k学 博士学位论二之 列控系统需求规范形式化建模与验证方法研究 ResearchontheMethodofFormal Verificationofthe Modelinl；and Train Control System 作者姓名：谢雨飞 学 号 导师姓名：唐涛 职 称：教授 学位类别：工学 学位级别：博士 学科专业：交通信息工程及控制

    您可能关注的文档

    最近下载

    知传链电子书

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >