Lin Li, Philipp Wagner 0001, Ramesh Ramaswamy, Albrecht Mayer, Thomas Wild, Andreas Herkersdorf. A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems. In Sander Stuijk, editor, Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, May 23-25, 2016. pages 180-189, ACM, 2016. [doi]
@inproceedings{LiWRMWH16,
title = {A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems},
author = {Lin Li and Philipp Wagner 0001 and Ramesh Ramaswamy and Albrecht Mayer and Thomas Wild and Andreas Herkersdorf},
year = {2016},
doi = {10.1145/2906363.2906377},
url = {http://doi.acm.org/10.1145/2906363.2906377},
researchr = {https://researchr.org/publication/LiWRMWH16},
cites = {0},
citedby = {0},
pages = {180-189},
booktitle = {Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, May 23-25, 2016},
editor = {Sander Stuijk},
publisher = {ACM},
isbn = {978-1-4503-4320-6},
}