Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation

Marko van Eekelen, S. Hoedt, ten, R. Schreurs, Y.S. Usenko

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation'. Samen vormen ze een unieke vingerafdruk.

    Computer Science

    Engineering