Optimized Hybrid Verification of Embedded Software

dc.contributor.author	Kropf, Thomas
dc.contributor.author	Rosenstiel, Wolfgang
dc.contributor.author	Grünhage, Alexander
dc.contributor.author	Ruf, Jürgen
dc.contributor.author	Behrend, Jörg
dc.date.accessioned	2017-06-02T13:24:24Z
dc.date.available	2017-06-02T13:24:24Z
dc.date.issued	2014
dc.identifier.issn	2373-0862
dc.identifier.uri	http://hdl.handle.net/10900/76519
dc.language.iso	en	de_DE
dc.publisher	IEEE	de_DE
dc.relation.uri	http://dx.doi.org/10.1109/LATW.2014.6841906	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	600	de_DE
dc.title	Optimized Hybrid Verification of Embedded Software	de_DE
dc.type	Article	de_DE
utue.personen.roh	Gruenhage, Alexander
utue.personen.roh	Schroeder, Douglas
utue.personen.roh	Lettnin, Djones
utue.personen.roh	Ruf, Juergen
utue.personen.roh	Kropf, Thomas
utue.personen.roh	Rosenstiel, Wolfgang
utue.personen.roh	Behrend, Joerg
dcterms.isPartOf.ZSTitelID	Latin American Test Workshop	de_DE