Constraint-based Platform Variant Specification for Early System Verification

Resource type
Conference
Author(s)
Andreas Burger, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
Year
2016
Book title
International MOST Conference & Exhibition 2016
Project
EffektiV
Download .bib
Download .bib
Published by
Sebastian Reiter