SMT-based Scheduling for Overloaded Real-Time Systems

Zhuo CHENG  Haitao ZHANG  Yasuo TAN  Yuto LIM  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/01/23
DOI: 10.1587/transinf.2016EDP7374
Full Text: PDF(1.5MB)