您的位置： 专家智库 > >

薛丰

作品数：1 被引量：4H指数：1
供职机构：西南交通大学信息科学与技术学院更多>>
相关领域：交通运输工程自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇交通运输工程

主题

  • 1篇联锁
  • 1篇计算机
  • 1篇UML
  • 1篇UML建模
  • 1篇车站
  • 1篇车站联锁
  • 1篇PETRI网

机构

  • 1篇西南交通大学

作者

  • 1篇杨扬
  • 1篇谢林
  • 1篇薛丰

传媒

  • 1篇铁路计算机应...

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于UML建模的计算机联锁进路模块Petri网验证被引量：4
2017年
对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性。
薛丰杨扬谢林
关键词：车站联锁UMLPETRI网
全选 清除 导出
共1页<1>
聚类工具0