基于形式化模型的定时着色Petri网定量安全分析

Formal model-based quantitative safety analysis using timed Coloured Petri Nets

Reliability Engineering and System Safety · 2018
被引 29
ABS 3
安全分析形式化方法Petri网可靠性工程模型检验
阅读原文 ↗