Search for persons
X
?
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Daniel Große, Rolf Drechsler (Hrsg.)
1
Sequential verification using reverse PDR:
, In:
?
Forschung für Nachhaltigkeit an deutschen Hochschulen / Walter Leal Filho, Herausgeber
2
Operationalisierung von Nachhaltigkeit im Produktionskontex..:
, In:Copies:
Zentrale:E02 a vwl 449.3/936; TB BHV: pae 800/105