Optimized Hybrid Verification of Embedded Software

DSpace Repository

Optimized Hybrid Verification of Embedded Software

Author: Gruenhage, Alexander; Schroeder, Douglas; Lettnin, Djones; Ruf, Juergen; Kropf, Thomas; Rosenstiel, Wolfgang; Behrend, Joerg
Tübinger Autor(en):
Kropf, Thomas
Rosenstiel, Wolfgang
Grünhage, Alexander
Ruf, Jürgen
Behrend, Jörg
Published in: Latin American Test Workshop (2014), Bd.
Verlagsangabe: IEEE
Language: English
Full text: http://dx.doi.org/10.1109/LATW.2014.6841906
ISSN: 2373-0862
DDC Classifikation: 004 - Data processing and computer science
600 - Technology
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)