Documents publiés en "2010"

Département de génie informatique et génie logiciel

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