Automatic model based design space exploration for embedded systemsChristian HaubeltAgotadoNotifícame
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und SystemenChristian HaubeltAgotadoNotifícame
