Embedded system verification through constraint-based scheduling.

Olfat El-Mahi, Gilles Pesant, Gabriela Nicolescu, Giovanni Beltrame

Browse the full RSP paper archive.