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]
@inproceedings{AhmadJSP16,
title = {Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata},
author = {Waheed Ahmad and Marijn R. Jongerden and Mariëlle Stoelinga and Jaco van de Pol},
year = {2016},
doi = {10.1109/ACSD.2016.18},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2016.18},
researchr = {https://researchr.org/publication/AhmadJSP16},
cites = {0},
citedby = {0},
pages = {114-123},
booktitle = {16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016},
editor = {Jörg Desel and Alex Yakovlev},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-2589-3},
}