Symbolic Computation of Schedulability Regions Using Parametric Timed Automata.

Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian

Browse the full RTSS paper archive.