<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Pagetti, Claire"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : B | P
Nombre de documents: 2

B

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

P

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

Liste produite: Thu Mar 28 04:14:54 2024 EDT.