Specification of parametric monitors quantified event automata versus rule systems

Klaus Havelund, Giles Reger

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Fingerprint

    Dive into the research topics of 'Specification of parametric monitors quantified event automata versus rule systems'. Together they form a unique fingerprint.

    Computer Science