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

Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol. Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 114-123, IEEE Computer Society, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.