Rolf Drechsler

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Épuisé

Rolf Drechsler Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

4,3

Formal modeling and verification of cyber-physical systems

Épuisé

Rolf Drechsler Formal modeling and verification of cyber-physical systems

4,3

Aspekte der Technischen Informatik

Épuisé

Rolf Drechsler Aspekte der Technischen Informatik

4,3

Reversible and Quantum Circuits

Nabila Abdessaied

Épuisé

Nabila Abdessaied Reversible and Quantum Circuits

4,3

Binary Decision Diagrams

Épuisé

Bernd Becker Binary Decision Diagrams

4,3

Robustness and Usability in Modern Design Flows

Épuisé

Rolf Drechsler Robustness and Usability in Modern Design Flows

4,3

Formal Verification of Circuits

Épuisé

Rolf Drechsler Formal Verification of Circuits

4,3

Quality-Driven Systemc Design

Épuisé

Daniel Große Quality-Driven Systemc Design

4,3

Towards One-Pass Synthesis

Épuisé

Rolf Drechsler Towards One-Pass Synthesis

4,3

Evolutionary Algorithms for VLSI CAD

Épuisé

Rolf Drechsler Evolutionary Algorithms for VLSI CAD

4,3

Design for Testability, Debug and Reliability

Épuisé

Sebastian Huhn Design for Testability, Debug and Reliability

4,3

Ordered Kronecker functional decision diagrams und ihre Anwendung

Épuisé

Rolf Drechsler Ordered Kronecker functional decision diagrams und ihre Anwendung

4,3