复杂安全苛求系统相关硕士博士期刊学术论文 - 搜论网

复杂安全苛求系统相关论文

列车运行控制系统分层形式化建模与验证分析

列车运行控制系统(简称“列控系统”)是将先进的控制技术、通信技术、计算机技术与铁路信号技术融为一体,保证轨道交通安全、正点......

学位

列控系统复杂安全苛求系统分层建模验证形式化方法模型检验

基于模型的高速列车运行控制系统可信性验证方法研究

随着列车运行控制系统的飞速发展,人们对于其能否安全可靠的完成承载运输任务越来越关注,而列控系统的可信性是否达到需求是影响这......

学位

高速列控系统可信性验证复杂安全苛求系统混成马尔可夫链安全性自动测试无线闭塞中心

看过本文同时还关注