Scalable and Optimized Hybrid Verification of Embedded Software
|
Autor(en):
|
Behrend, Joerg; Lettnin, Djones; Gruenhage, Alexander; Ruf, Juergen; Kropf, Thomas; Rosenstiel, Wolfgang
|
|
Tübinger Autor(en):
|
|
|
Erschienen in:
|
Journal of Electronic Testing - Theory and Applications
(2015), Bd.
31,
H.
2,
S.
151-166
|
|
Verlagsangabe:
|
Springer
|
|
Sprache:
|
Englisch
|
|
Referenz zum Volltext:
|
http://dx.doi.org/10.1007/s10836-015-5518-4
|
|
ISSN:
|
0923-8174
|
|
DDC-Klassifikation:
|
600 - Technik
|
|
Dokumentart:
|
Wissenschaftlicher Artikel
|
|
Zur Langanzeige
|
