Advanced BDD Optimization

ανά Ebendt, Rüdiger, Fey, Görschwin, Drechsler, Rolf
Έκδοση 2005

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

ανά Przigoda, Nils, Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Έκδοση 2018

Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

ανά Seiter, Julia, Wille, Robert, Drechsler, Rolf
Έκδοση 2017

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /

ανά Chandrasekharan, Arun, Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Έκδοση 2019

Exact Design of Digital Microfluidic Biochips

ανά Keszocze, Oliver, Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Έκδοση 2019

Formal System Verification State-of the-Art and Future Trends /

Έκδοση 2018

High Quality Test Pattern Generation and Boolean Satisfiability

ανά Eggersglüß, Stephan, Drechsler, Rolf
Έκδοση 2012

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

Έκδοση 2016

Reversible and Quantum Circuits Optimization and Complexity Analysis /

ανά Abdessaied, Nabila, Drechsler, Rolf
Έκδοση 2016

Robustness and Usability in Modern Design Flows

ανά Fey, Görschwin, Drechsler, Rolf
Έκδοση 2008

Test Pattern Generation using Boolean Proof Engines

ανά Drechsler, Rolf, Eggersglüβ, Stephan, Fey, Görschwin, Tille, Daniel
Έκδοση 2009