On the use of specification styles for automated protocol implementation from LOTOS to C

Peter van Eijk, Harro Kremer, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    17 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'On the use of specification styles for automated protocol implementation from LOTOS to C'. Together they form a unique fingerprint.

    Engineering & Materials Science