面向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]

Authors

Wanqian Li

This author has not been identified. Look up 'Wanqian Li' in Google

Jun Hu

This author has not been identified. Look up 'Jun Hu' in Google

Song Chen

This author has not been identified. Look up 'Song Chen' in Google

Weijun Zhang

This author has not been identified. Look up 'Weijun Zhang' in Google