 | 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
