Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata

Authors
    Publication date
    Publisher
    'Institute of Electrical and Electronics Engineers (IEEE)'
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Crossref

        redirect
        oaiinfo:doi/10.1109%2Facsd.2016.1...
        Last time updated on 26/03/2019