Herdt, Vladimir
[VerfasserIn];
Le, Hoang M.
[VerfasserIn];
Große, Daniel
[VerfasserIn];
Drechsler, Rolf
[VerfasserIn]
;
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen
Towards automated refinement of TLM properties to RTL