Home Advanced Search

Advanced Search - Page 1

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  • PDF
  • English
  • Year: 2018
  • Author: Nils Przigoda,Robert Wille,Judith Przigoda,Rolf Drechsler (auth.)
Towards a Design Flow for Reversible Logic
  • PDF
  • English
  • Year: 2010
  • Author: Robert Wille, Rolf Drechsler (auth.)
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
  • PDF
  • English
  • Year: 2017
  • Author: Julia Seiter, Robert Wille, Rolf Drechsler (auth.)
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015
  • PDF
  • English
  • Year: 2016
  • Author: Rolf Drechsler, Robert Wille (eds.)
Exact Design of Digital Microfluidic Biochips
  • PDF
  • English
  • Year: 2019
  • Author: Oliver Keszocze, Robert Wille, Rolf Drechsler
Design Automation for Field-coupled Nanotechnologies
  • PDF
  • English
  • Year: 2022
  • Author: Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Formal Verification of Circuits
  • PDF
  • English
  • Year: 2000
  • Author: Rolf Drechsler (auth.)
Evolutionary Algorithms for VLSI CAD
  • PDF
  • English
  • Year: 1998
  • Author: Rolf Drechsler (auth.)
Formal Specification Level: Concepts, Methods, and Algorithms
  • PDF
  • English
  • Year: 2015
  • Author: Mathias Soeken, Rolf Drechsler (auth.)
Reversible and Quantum Circuits: Optimization and Complexity Analysis
  • PDF
  • English
  • Year: 2016
  • Author: Nabila Abdessaied, Rolf Drechsler (auth.)
search