Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

    Research output: Book/ReportReportProfessional

    62 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)'. Together they form a unique fingerprint.