Constraint-based platform variants specification for early system verification

Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, Wolfgang Rosenstiel. Constraint-based platform variants specification for early system verification. In 19th Asia and South Pacific Design Automation Conference, ASP-DAC 2014, Singapore, January 20-23, 2014. pages 800-805, IEEE, 2014. [doi]

Authors

Andreas Burger

This author has not been identified. Look up 'Andreas Burger' in Google

Alexander Viehl

This author has not been identified. Look up 'Alexander Viehl' in Google

Andreas Braun

This author has not been identified. Look up 'Andreas Braun' in Google

Finn Haedicke

This author has not been identified. Look up 'Finn Haedicke' in Google

Daniel Große

This author has not been identified. Look up 'Daniel Große' in Google

Oliver Bringmann

This author has not been identified. Look up 'Oliver Bringmann' in Google

Wolfgang Rosenstiel

This author has not been identified. Look up 'Wolfgang Rosenstiel' in Google