• 其他栏目

    桂盛霖

    • 副教授 硕士生导师
    • 性别：男
    • 毕业院校：电子科技大学
    • 学历：博士研究生毕业
    • 学位：工学博士学位
    • 在职信息：在职人员
    • 所在单位：计算机科学与工程学院（网络空间安全学院）
    • 办公地点：清水河校区主楼 B1 307

    访问量：

    开通时间：..

    最后更新时间：..

    当前位置 中文主页 >> 科学研究 >> 论文成果
    Dependability analysis for AADL models by PVS

    点击次数：

    备注：In Proceedings of the 8th International Conference on Dependable, Autonomic and Secure Computing, 2009, 19-24

    全部作者： Shenglin Gui, Rong Gong, Lei Luo,Geng Chen

    是否译文：否


    清水河校区：成都市高新区（西区）西源大道2006号　邮编： 611731  
    沙河校区：成都市建设北路二段四号　邮编：610054
    蜀ICP备 05006379 号   I　川公网安备 51019002000280 号
  • 电子科技大学