Constraint-based Platform Variants Specification for Early System Verification

Autor(en):

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

Tübinger Autor(en):

Erschienen in:

Asia and South Pacific Design Automation Conference Proceedings (2014), Bd. 19, S. 800-805

Verlagsangabe:

IEEE

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

2153-6961

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: