Scalable and 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	2015-09-14T14:59:41Z
dc.date.available	2015-09-14T14:59:41Z
dc.date.issued	2015
dc.identifier.issn	0923-8174
dc.identifier.uri	http://hdl.handle.net/10900/64843
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s10836-015-5518-4	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	600	de_DE
dc.title	Scalable and Optimized Hybrid Verification of Embedded Software	de_DE
dc.type	Article	de_DE
utue.quellen.id	20150901145020_01097
utue.publikation.seiten	151-166	de_DE
utue.personen.roh	Behrend, Joerg
utue.personen.roh	Lettnin, Djones
utue.personen.roh	Gruenhage, Alexander
utue.personen.roh	Ruf, Juergen
utue.personen.roh	Kropf, Thomas
utue.personen.roh	Rosenstiel, Wolfgang
dcterms.isPartOf.ZSTitelID	Journal of Electronic Testing - Theory and Applications	de_DE
dcterms.isPartOf.ZS-Issue	2	de_DE
dcterms.isPartOf.ZS-Volume	31	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE