 | Monter d'un niveau |
Bozic, J., Marsso, L., Mateescu, R., & Wotawa, F. (avril 2018). A Formal TLS Handshake Model in LNT [Communication écrite]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece (40 pages). Publié dans Electronic Proceedings in Theoretical Computer Science, 268. Lien externe
Garavel, H., & Marsso, L. (avril 2018). Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm [Communication écrite]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece. Publié dans Electronic Proceedings in Theoretical Computer Science, 268. Lien externe
Marsso, L., Mateescu, R., & Serwe, W. (avril 2018). TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation [Communication écrite]. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Thessaloniki, Greece. Publié dans Lecture notes in computer science. Lien externe
