• Click:

Current position: Home  >  Scientific Research  >  Paper Publications

Paper Publications

Dependability analysis for AADL models by PVS

 Hits:

Note:In Proceedings of the 8th International Conference on Dependable, Autonomic and Secure Computing, 2009, 19-24

All the Authors: Shenglin Gui, Rong Gong, Lei Luo,Geng Chen

Translation or Not:no

Pre One:Code automatic generation technology of AADL models

Next One:Code automatic generation and integration technology of AADL model

桂盛霖

Gender:Male Education Level:With Certificate of Graduation for Doctorate Study Degree:Doctor of Engineering Status:Professor

Recommended MA Supervisor 》

The Last Update Time:--

Address: Shahe Campus:No.4, Section 2, North Jianshe Road, 610054  |  Qingshuihe Campus:No.2006, Xiyuan Ave, West Hi-Tech Zone, 611731  |   Chengdu, Sichuan, P.R.China © 2010 University of Electronic Science and Technology of China. All Rights Reserved