铁路通信信号工程技术2024，Vol.21Issue(11)：P.41-45,5.DOI:10.3969/j.issn.1673-4440.2024.11.007
计算机联锁形式化验证典型反例分析
摘要
关键词
形式化验证/计算机联锁/安全需求/反例分类
交通工程引用本文复制引用
刘丽娟,陈虹,陈耀华..计算机联锁形式化验证典型反例分析[J].铁路通信信号工程技术,2024,21(11):P.41-45,5.基金项目
卡斯柯信号有限公司科研课题项目(RB.1X123015)。 （RB.1X123015）
