Scalable and Optimized Hybrid Verification of Embedded Software

DSpace Repository

Scalable and Optimized Hybrid Verification of Embedded Software

Author: Behrend, Joerg; Lettnin, Djones; Gruenhage, Alexander; Ruf, Juergen; Kropf, Thomas; Rosenstiel, Wolfgang
Tübinger Autor(en):
Kropf, Thomas
Rosenstiel, Wolfgang
Grünhage, Alexander
Ruf, Jürgen
Behrend, Jörg
Published in: Journal of Electronic Testing - Theory and Applications (2015), Bd. 31, H. 2, S. 151-166
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s10836-015-5518-4
ISSN: 0923-8174
DDC Classifikation: 600 - Technology
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)