失效致因分析相关硕士博士期刊学术论文 - 搜论网

失效致因分析相关论文

基于失效日志的CTCS-3级列控车载子系统需求错误所致的失效致因分析

CTCS-3级列控系统的复杂性使得某些需求错误难以发现,从而导致系统失效,需要结合失效事件的日志记录反向分析出需求的错误。本文采......

期刊

CTCS 车载子系统失效致因分析时间自动机 UPPAAL 模型检查需求错误

看过本文同时还关注