Constraint-based Platform Variants Specification for Early System Verification
Author:
|
Burger, Andreas; Viehl, Alexander; Braun, Andreas; Haedicke, Finn; Grosse, Daniel; Bringmann, Oliver; Rosenstiel, Wolfgang
|
Tübinger Autor(en):
|
|
Published in:
|
Asia and South Pacific Design Automation Conference Proceedings
(2014), Bd.
19,
S.
800-805
|
Verlagsangabe:
|
IEEE
|
Language:
|
English
|
Full text:
|
http://dx.doi.org/10.1109/ASPDAC.2014.6742988
|
ISSN:
|
2153-6961
|
DDC Classifikation:
|
004 - Data processing and computer science
|
Dokumentart:
|
Artikel Konferenzveröffentlichung
|
Show full item record
|