Publication services
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
MBMV 2018
→
Browsing MBMV 2018 by Author

Browsing MBMV 2018 by Author "Herdt, Vladimir"

Now showing items 1-1 of 1

Towards Automated Refinement of TLM Properties to RTL

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

Now showing items 1-1 of 1

Browse

All of DSpace
This Collection

My Account

Login