• Click:

Current position: Home  >  Scientific Research  >  Paper Publications

Paper Publications

Code automatic generation and integration technology of AADL model

 Hits:

Note:Computer Engineering, 2009, 35(8)：59-61

All the Authors:尹立孟,马亮,桂盛霖,陶勇

Translation or Not:no

Pre One:Dependability analysis for AADL models by PVS

Next One:Schedulability verification of AADL model based on UPPAAL

桂盛霖

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