Douglas Schroeder

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Embedded Software

Development Projects

Top Venues

Publications

Jörg Behrend, Alexander Grünhage, Douglas Schroeder, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Optimized hybrid verification of embedded software. LATW (2014)