Rolf Drechsler

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Uitverkocht

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

4,3

Formal modeling and verification of cyber-physical systems

Uitverkocht

Rolf Drechsler Formal modeling and verification of cyber-physical systems

4,3

Aspekte der Technischen Informatik

Uitverkocht

Rolf Drechsler Aspekte der Technischen Informatik

4,3

Reversible and Quantum Circuits

Nabila Abdessaied

Uitverkocht

Nabila Abdessaied Reversible and Quantum Circuits

4,3

Binary Decision Diagrams

Uitverkocht

Bernd Becker Binary Decision Diagrams

4,3

Robustness and Usability in Modern Design Flows

Uitverkocht

Rolf Drechsler Robustness and Usability in Modern Design Flows

4,3

Formal Verification of Circuits

Uitverkocht

Rolf Drechsler Formal Verification of Circuits

4,3

Quality-Driven Systemc Design

Uitverkocht

Daniel Große Quality-Driven Systemc Design

4,3

Towards One-Pass Synthesis

Uitverkocht

Rolf Drechsler Towards One-Pass Synthesis

4,3

Evolutionary Algorithms for VLSI CAD

Uitverkocht

Rolf Drechsler Evolutionary Algorithms for VLSI CAD

4,3

Design for Testability, Debug and Reliability

Uitverkocht

Sebastian Huhn Design for Testability, Debug and Reliability

4,3

Ordered Kronecker functional decision diagrams und ihre Anwendung

Uitverkocht

Rolf Drechsler Ordered Kronecker functional decision diagrams und ihre Anwendung

4,3