<  Back to the Polytechnique Montréal portal

Items where Author is "Pagetti, Claire"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | P
Number of items: 2.

B

Boniol, F., Lauer, M., Pagetti, C., & Ermont, J. (2013, May). Freshness and reactivity analysis in globally asynchronous locally time-triggered systems [Paper]. 5th International Symposium on NASA Formal Methods, NFM 2013, Moffett Field, CA, United states. External link

P

Pagetti, C., Saussié, D., Gratia, R., Noulard, E., & Siron, P. (2014, April). The ROSACE case study: From Simulink specification to multi/many-core execution [Paper]. 20th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS 2014), Berlin, Germany. External link

List generated on: Sat Jan 18 05:34:49 2025 EST