A Logical Approach for the Schedulability Analysis of CCSL.

Yuanrui Zhang, Frdric Mallet, Huibiao Zhu, Yixiang Chen

Browse the full TASE paper archive.