Constraint-based platform variants specification for early system verification

Resource type
Conference
Author(s)
Burger, Andreas and Viehl, Alexander and Braun, Andreas and Haedicke, Finn and Grose, Daniel and Bringmann, Oliver and Rosenstiel, Wolfgang
Year
2014
Pages
800--805
Book title
Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific
Organization
IEEE
Download .bib
Download .bib
Published by
Alexander Viehl