Embedded system verification through constraint-based scheduling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Olfat El-Mahi' in GoogleThis author has not been identified. Look up 'Gabriela Nicolescu' in GoogleThis author has not been identified. Look up 'Gilles Pesant' in GoogleThis author has not been identified. Look up 'Giovanni Beltrame' in Google

runs on WebDSL