故障-安全准则相关硕士博士期刊学术论文 - 信丰网

故障-安全准则相关论文

基于UPPAAL的列控系统临时限速建模与验证

临时限速系统是列控系统的重要组成部分,是符合"故障–安全"准则的安全苛求系统。文章基于临时限速技术规范和时间自动机理论,分析......

期刊

建模与验证临时限速安全苛求系统故障-安全准则时间自动机 UPPAAL modeling and verificationtemporary speed

看过本文同时还关注