Monter d'un niveau |
Azzabi, A., Aboulhamid, E. M., & Nicolescu, G. (décembre 2010). Timing verification of cyclic systems based on temporal constraint analysis [Communication écrite]. 17th IEEE International Conference on Electronics, Circuits and Systems, Athens, Greece. Lien externe