Olfat El-Mahi, Gabriela Nicolescu, Gilles Pesant, Giovanni Beltrame. Embedded system verification through constraint-based scheduling. In 2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, USA, November 9-10, 2012. pages 92-95, IEEE Computer Society, 2012. [doi]
Abstract is missing.