Jürgen Ruf profile picture

Jürgen Ruf

Is this your author profile? Create an account to customize it!

Stand Alone

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
SystemC Methodologies and Applications
SystemC
MBMV 2014 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen