Research Focus:轨道交通控制系统可信保障
Personal Profile:2023年研究生一等奖学金;已授权发明专利1项、实质审查3项;发表中国铁道科学【EI检索】论文1篇;投稿一篇Safety Science【中科院SCI一区、TOP】论文二审。
Degree:Master's Degree in Engineering
Current Status:Graduated
Graduation Thesis Title:基于STAMP模型的CBTC系统Event-B建模和验证方法研究
Pre One:张世钒
The Last Update Time:..