Constructive formal methods and protocol standardization

A.J. Mooij

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    68 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Constructive formal methods and protocol standardization'. Together they form a unique fingerprint.

    Engineering & Materials Science