Olfat El-Mahi, Gilles Pesant, Gabriela Nicolescu, Giovanni Beltrame. Embedded system verification through constraint-based scheduling. In Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, RSP 2013, Montreal, QC, Canada, October 3-4, 2013. pages 73-79, IEEE, 2013. [doi]
Abstract is missing.