%0 Conference Paper %1 conf/samos/SchreinerSFGN18 %A Schreiner, Sören %A Seyyedi, Razi %A Fakih, Maher %A Grüttner, Kim %A Nebel, Wolfgang %B SAMOS %D 2018 %E Mudge, Trevor N. %E Pnevmatikatos, Dionisios N. %I ACM %K dblp %P 81-88 %T Towards power management verification of time-triggered systems using virtual platforms. %U http://dblp.uni-trier.de/db/conf/samos/samos2018.html#SchreinerSFGN18 %@ 978-1-4503-6494-2

@inproceedings{conf/samos/SchreinerSFGN18, added-at = {2019-01-14T00:00:00.000+0100}, author = {Schreiner, Sören and Seyyedi, Razi and Fakih, Maher and Grüttner, Kim and Nebel, Wolfgang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e12aaafd07c5d9015ac8685f014ac5ea/dblp}, booktitle = {SAMOS}, crossref = {conf/samos/2018}, editor = {Mudge, Trevor N. and Pnevmatikatos, Dionisios N.}, ee = {https://doi.org/10.1145/3229631.3235025}, interhash = {fb3daa370b832a66980c6ab56f63dff4}, intrahash = {e12aaafd07c5d9015ac8685f014ac5ea}, isbn = {978-1-4503-6494-2}, keywords = {dblp}, pages = {81-88}, publisher = {ACM}, timestamp = {2019-09-27T12:43:57.000+0200}, title = {Towards power management verification of time-triggered systems using virtual platforms.}, url = {http://dblp.uni-trier.de/db/conf/samos/samos2018.html#SchreinerSFGN18}, year = 2018 }