嵌入式高可信架构中基于静态模型的调度研究
杨霞;桑楠;雷剑;熊光泽
Scheduling Based on Static Model in Trusted Architecture for Embedded Systems
Yang Xia;Sang Nan;Lei Jian;Xiong Guangze
航空学报 . 2009, (12): 2387 -2394 .