"Languages, Design Methods, and Tools for Electronic System Design - ..."

Daniel Große, Sara Vinco, Hiren Patel (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics