• Click:

Current position: Home  >  Scientific Research  >  Paper Publications

Paper Publications

Schedulability verification of AADL model based on UPPAAL

 Hits:

Note:Journal of Computer Applications, 2009, 29(7)：1820-1824

All the Authors:罗蕾,李允,桂盛霖,刘倩

Translation or Not:no

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

Next One:LambdaMDE: embedded development environment baded on 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