Monter d'un niveau |
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
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