A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering

J.P.H.M. Hausmans, Marco Jan Gerrit Bekooij

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

    6 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering'. Together they form a unique fingerprint.