Publikationsdienste
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
MBMV 2018
→
Auflistung MBMV 2018 nach Autor

Auflistung MBMV 2018 nach Autor "Herdt, Vladimir"

Anzeige der Dokumente 1-1 von 1

Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (2018-03-13); Konferenzpaper

Anzeige der Dokumente 1-1 von 1

Veröffentlichen

Stöbern

Gesamter Bestand
Diese Sammlung

Mein Benutzerkonto

Einloggen