Publikationsdienste
→
Auflistung nach Autor

Auflistung nach Autor "Grünhage, Alexander"

Anzeige der Dokumente 1-2 von 2

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-2 von 2

Veröffentlichen

Stöbern

Gesamter Bestand

Mein Benutzerkonto

Einloggen

Hilfe & Infos