ISSN 1000-1239 CN 11-1777/TP
Analysis and Verification of AADL Hierarchical Schedulers
Fu Ning,Du Chenglie,Li Jianliang,Liu Zhiqiang,Peng Han
Journal of Computer Research and Development . 2015, (1): 167 -176 .  DOI: 10.7544/issn1000-1239.2015.20130722