![]() | Monter d'un niveau |
Marsso, L., Mateescu, R., Parissis, I., & Serwe, W. (décembre 2019). Asynchronous Testing of Synchronous Components in GALS Systems [Communication écrite]. 15th International Conference on Integrated Formal Methods (IFM 2019), Bergen, Norway. Publié dans Lecture notes in computer science. Lien externe