|国家科技期刊平台
| 注册
首页|期刊导航|西南交通大学学报|基于形式化方法的平交道口控制系统安全设计

基于形式化方法的平交道口控制系统安全设计

王霞 王恪铭 徐扬 唐伟健

西南交通大学学报2023，Vol.58Issue(1)：P.109-116,8.
✕
西南交通大学学报2023，Vol.58Issue(1)：P.109-116,8.DOI:10.3969/j.issn.0258-2724.20210656

基于形式化方法的平交道口控制系统安全设计

王霞 1王恪铭 1徐扬 2唐伟健3

作者信息

  • 1. 西南交通大学计算机与人工智能学院,四川成都610031 西南交通大学系统可信性验证国家地方联合工程实验室,四川成都610031
  • 2. 西南交通大学系统可信性验证国家地方联合工程实验室,四川成都610031 西南交通大学数学学院,四川成都610031
  • 3. 西南交通大学系统可信性验证国家地方联合工程实验室,四川成都610031 西南交通大学信息科学与技术学院,四川成都610031
  • 折叠

摘要

关键词

平交道口/控制系统/需求规范/安全苛求系统/形式化方法

分类

信息技术与安全科学

引用本文复制引用

王霞,王恪铭,徐扬,唐伟健..基于形式化方法的平交道口控制系统安全设计[J].西南交通大学学报,2023,58(1):P.109-116,8.

基金项目

国家自然科学基金(61976130,61673320) （61976130,61673320）

四川省科技计划(2022NSFSC0464)。 （2022NSFSC0464）

西南交通大学学报

OA北大核心CSCDCSTPCD

0258-2724

访问量0
|
下载量0
段落导航相关论文