Ahmed Azzabi, El Mostapha Aboulhamid, Gabriela Nicolescu. Timing verification of cyclic systems based on temporal constraint analysis. In 17th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2010, Athens, Greece, 12-15 December, 2010. pages 659-662, IEEE, 2010. [doi]
Abstract is missing.