Schedulability Analysis with CCSL Specifications.

Ling Yin, Jing Liu, Zuohua Ding, Frdric Mallet, Robert de Simone

Browse the full APSEC paper archive.