 | Monter d'un niveau |
Marsso, L. (avril 2020). Specifying a Cryptographical Protocol in Lustre and SCADE [Communication écrite]. 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), Dublin, Ireland. Publié dans Electronic Proceedings in Theoretical Computer Science, 316. Lien externe
Marsso, L., Mateescu, R., & Serwe, W. (décembre 2020). Automated Transition Coverage in Behavioural Conformance Testing [Communication écrite]. 32nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2020). Publié dans Lecture notes in computer science. Lien externe
