桂盛霖
开通时间:..
最后更新时间:..
点击次数:
备注:Proceedings of the International Conference on Advanced Computer Theory and Engineering, 2008, 346-350
全部作者:Yun Li, Limeng Yin, Lei Luo, Liang Ma,Shenglin Gui
是否译文:否
上一条:Formal Schedulability Analysis and Simulation for AADL
下一条:UCaS: a schedulability analysis tool for AADL models