Documents publiés en "2005"

Département de génie électrique

Nicolescu, B., Gorse, N., Savaria, Y., Aboulhamid, E. M., & Velazco, R. (2005). On the Use of Model Checking for the Verification of a Dynamic Signature Monitoring Approach. IEEE Transactions on Nuclear Science, 52(5), 1555-1561. Lien externe

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

Lapalme, J., Aboulhamid, E. M., & Nicolescu, G. (juin 2005). Leveraging Model Representations for System Level Design Tools [Communication écrite]. 16th International Workshop on Rapid System Prototyping (RSP 2005), Montréal, QC, Canada. Lien externe

Tsikhanovich, A., Aboulhamid, E. M., & Bois, G. (juillet 2005). A methodology for HW/SW specification and simulation at multiple levels of abstraction [Communication écrite]. 5th International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), Banff, AB, Canada. Lien externe