Formal modeling and verification of distributed failure detectors

M. Atif

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

    250 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Formal modeling and verification of distributed failure detectors'. Together they form a unique fingerprint.

    Engineering & Materials Science