面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models)

Wanqian Li, Jun Hu, Song Chen, Weijun Zhang. 面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models). 计算机科学, 46(11):100-108, 2019. [doi]

Bibliographies