Increasing Software Reliability by Integrating Formal Verification and Robustness Testing

dc.contributor.author	Burg, Sebastian
dc.contributor.author	Eichelberger, Hanno
dc.contributor.author	Heckeler, Patrick
dc.contributor.author	Ruf, Jürgen
dc.contributor.author	Kropf, Thomas
dc.contributor.author	Rosenstiel, Wolfgang
dc.date.accessioned	2015-05-19T14:13:16Z
dc.date.available	2015-05-19T14:13:16Z
dc.date.issued	2014
dc.identifier.uri	http://hdl.handle.net/10900/63371
dc.language.iso	en	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	Increasing Software Reliability by Integrating Formal Verification and Robustness Testing	de_DE
dc.type	Article	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	125-136	de_DE
utue.personen.roh	Huster, Stefan
utue.personen.roh	Macic, Merdin
utue.personen.roh	Burg, Sebastian
utue.personen.roh	Eichelberger, Hanno
utue.personen.roh	Heckeler, Patrick
utue.personen.roh	Ruf, Jürgen
utue.personen.roh	Kropf, Thomas
utue.personen.roh	Rosenstiel, Wolfgang
dcterms.isPartOf.ZSTitelID	Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2014	de_DE