Verifying worst-case execution time of timed automata models with cyclic behaviour

Omar Bataineh

    Research output: ThesisDoctoral Thesis

    414 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Verifying worst-case execution time of timed automata models with cyclic behaviour'. Together they form a unique fingerprint.

    Engineering & Materials Science