|
个人信息Personal Information
讲师 硕士生导师
主要任职：讲师
性别：男
毕业院校：西北工业大学
学历：博士研究生毕业
学位：博士研究生毕业
在职信息：在岗
所在单位：网络与信息安全学院
入职时间：2020-04-23
办公地点：网信大楼A-II-802
电子邮箱：
扫描关注
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model
点击次数：
论文名称：QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model
发表刊物：Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on
论文类型：Proceedings Paper
文献类型：C
是否译文：否
发表时间：2015-09-12
收录刊物：EI
发布期刊链接：https://ieeexplore.ieee.org/abstract/document/7307740