Documents dont l'auteur est "Pagetti, Claire"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Nombre de documents: 2

Communication écrite

Pagetti, C., Saussié, D., Gratia, R., Noulard, É., & 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

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

Liste produite: Fri Oct 16 12:37:41 2026 EDT.