A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems.

Lin Li, Philipp Wagner, Ramesh Ramaswamy, Albrecht Mayer, Thomas Wild, Andreas Herkersdorf

Browse the full SCOPES paper archive.