Publikationsdienste
→
Auflistung nach Autor

Auflistung nach Autor "Behrend, Jörg"

Anzeige der Dokumente 1-3 von 3

Optimized hybrid verification of embedded software

Behrend, Jörg (2017)
Optimized Hybrid Verification of Embedded Software

Kropf, Thomas; Rosenstiel, Wolfgang; Grünhage, Alexander; Ruf, Jürgen; Behrend, Jörg (2014)
Scalable and Optimized Hybrid Verification of Embedded Software

Kropf, Thomas; Rosenstiel, Wolfgang; Grünhage, Alexander; Ruf, Jürgen; Behrend, Jörg (2015)

Anzeige der Dokumente 1-3 von 3

Veröffentlichen

Stöbern

Gesamter Bestand

Mein Benutzerkonto

Einloggen

Hilfe & Infos