Constraint-based platform variants specification for early system verification.

Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Groe, Oliver Bringmann, Wolfgang Rosenstiel

Browse the full ASPDAC paper archive.