On the architectural design of the formal specification of the session standards in LOTOS

Giuseppe Scollo, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Fingerprint

    Dive into the research topics of 'On the architectural design of the formal specification of the session standards in LOTOS'. Together they form a unique fingerprint.