点击次数：

研究方向：轨道交通控制系统可信保障

介绍：2023年研究生一等奖学金；已授权发明专利1项、实质审查3项；发表中国铁道科学【EI检索】论文1篇；投稿一篇Safety Science【中科院SCI一区、TOP】论文二审。

学位：工学硕士学位

状态：毕业

毕业论文标题：基于STAMP模型的CBTC系统Event-B建模和验证方法研究

入学日期：2021-09-01

毕业日期：2024-06-30