桂盛霖
开通时间:..
最后更新时间:..
点击次数:
备注:计算机应用,2010,30(3):607-611
全部作者:罗蕾,李允,桂盛霖,陆少朋
是否译文:否
上一条:基于UPPAAL的AADL模型可调度性验证
下一条:Sensen Tang and Yang Meng. Optimal static partition configuration in ARINC653 system