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]
Abstract is missing.