Constraint-based Platform Variant Specification for Early System Verification

Publikationstyp
Konferenz
Autor(en)
Andreas Burger, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel
Jahr
2016
Buchtitel
International MOST Conference & Exhibition 2016
Projekt
EffektiV
Download .bib
Download .bib
Eingetragen von
Sebastian Reiter