Optimized Hybrid Verification of Embedded Software

DSpace Repositorium (Manakin basiert)

Optimized Hybrid Verification of Embedded Software

Autor(en): 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
Erschienen in: Latin American Test Workshop (2014), Bd.
Verlagsangabe: IEEE
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1109/LATW.2014.6841906
ISSN: 2373-0862
DDC-Klassifikation: 004 - Informatik
600 - Technik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: