<  Back to the Polytechnique Montréal portal

Items where Author is "Gorse, N."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: G | N
Number of items: 5.

G

Gorse, N., Belanger, P., Chureau, A., Aboulhamid, E. M., & Savaria, Y. (2007). A High-Level Requirements Engineering Methodology for Electronic System-Level Design. Computers & Electrical Engineering, 33(4), 249-268. External link

Gorse, N., Aboulhamid, E. M., & Savaria, Y. (2004, July). Consistency validation of high-level requirements [Paper]. 4th International Workshop on System on Chip for Real Time Applications (IWSOC 2004), Banff, AB, Canada. External link

Gorse, N., Metzger, M., Lapalme, J., Aboulhamid, E. M., Savaria, Y., & Nicolescu, G. (2004, December). Enhancing ESys.Net with a semi-formal verification layer [Paper]. 16th International Conference on Microelectronics (ICM 2004), Tunisie. External link

Gorse, N., Bélanger, P., Aboulhamid, E. M., & Savaria, Y. (2004, December). Mixing linguistic and formal techniques for high-level requirements engineering [Paper]. 16th International Conference on Microelectronics (ICM 2004), Tunisie. External link

N

Nicolescu, B., Gorse, N., Savaria, Y., Aboulhamid, E. M., & Velazco, R. (2004, September). Validating a dynamic signature monitoring approach using the LTL model checking technique [Paper]. Workshop on Radiation Effects on Components and Systems (RADECS 2004), Madrid, Espagne. Unavailable

List generated on: Mon Apr 28 06:51:15 2025 EDT