扫描手机二维码
开通时间:..
最后更新时间:..
的个人主页 http://faculty.nuaa.edu.cn/zy8/zh_CN/index.htm
点击次数: 发表刊物:Computers & Security 论文类型:期刊论文 文献类型:J 是否译文:否 发表时间:2020-04-08 通讯作者:庄毅
下一条: A security modeling and verification method of embedded software based on Z and MARTE