Automatic model based design space exploration for embedded systemsChristian HaubeltÉpuiséPrévenez-moi
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenChristian HaubeltÉpuiséPrévenez-moi
