Analysis for Embedded Systems: Experiments with Priced Timed Automata

Tolga Ovatman, Aske Wiid Brekling, Michael Reichhardt Hansen

    Research output: Contribution to journal › Journal article › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Analysis for Embedded Systems: Experiments with Priced Timed Automata'. Together they form a unique fingerprint.

    Computer Science