The Specification and Schedulability Analysis of Real-Time Systems using ACSR.

Jin-Young Choi, Insup Lee, Hong-liang Xie

Browse the full RTSS paper archive.