C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models).
Wanqian Li
Jun Hu
Song Chen
Weijun Zhang
Published in:
计算机科学 (2019)
Keyphrases
</>
safety analysis
safety critical
control system
nuclear power plant
real time
multi agent systems
learning systems
formal methods
fault model