Increasing Software Reliability by Integrating Formal Verification and Robustness Testing

DSpace Repository

Show simple item record

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 Artikel de_DE
dc.type Konferenzveröffentlichung 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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record