Constraint-based Platform Variants Specification for Early System Verification

dc.contributor.author	Bringmann, Oliver
dc.contributor.author	Rosenstiel, Wolfgang
dc.date.accessioned	2016-05-18T09:49:56Z
dc.date.available	2016-05-18T09:49:56Z
dc.date.issued	2014
dc.identifier.issn	2153-6961
dc.identifier.uri	http://hdl.handle.net/10900/69827
dc.language.iso	en	de_DE
dc.publisher	IEEE	de_DE
dc.relation.uri	http://dx.doi.org/10.1109/ASPDAC.2014.6742988	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Constraint-based Platform Variants Specification for Early System Verification	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.quellen.id	20160330140844_04022
utue.publikation.seiten	800-805	de_DE
utue.personen.roh	Burger, Andreas
utue.personen.roh	Viehl, Alexander
utue.personen.roh	Braun, Andreas
utue.personen.roh	Haedicke, Finn
utue.personen.roh	Grosse, Daniel
utue.personen.roh	Bringmann, Oliver
utue.personen.roh	Rosenstiel, Wolfgang
dcterms.isPartOf.ZSTitelID	Asia and South Pacific Design Automation Conference Proceedings	de_DE
dcterms.isPartOf.ZS-Volume	19	de_DE