Increasing Software Reliability by Integrating Formal Verification and Robustness Testing

DSpace Repository

Increasing Software Reliability by Integrating Formal Verification and Robustness Testing

Author: Huster, Stefan; Macic, Merdin; Burg, Sebastian; Eichelberger, Hanno; Heckeler, Patrick; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang
Tübinger Autor(en):
Burg, Sebastian
Eichelberger, Hanno
Heckeler, Patrick
Ruf, Jürgen
Kropf, Thomas
Rosenstiel, Wolfgang
Published in: Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2014 (2014), Bd. , S. 125-136
Language: English
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Artikel
Konferenzveröffentlichung
Show full item record

This item appears in the following Collection(s)