Automatic Methods for the Refinement of System Models, Fachbücher von Robert Wille, Rolf Drechsler, Julia Seiter

Automatic Methods For The Refinement Of System Models From The

Towards a Design Flow for Reversible Logic, Fachbücher von Rolf Drechsler, Robert Wille

Exact Design of Digital Microfluidic Biochips, Fachbücher von Rolf Drechsler, Robert Wille, Oliver Keszocze

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Fachbücher von Robert Wille, Rolf Dr...

Formal System Verification, Fachbücher von Rolf Drechsler

Automated Analysis of Virtual Prototypes at the Electronic System Level, Fachbücher von Mehran Goli, Rolf Drechsler

Debugging at the Electronic System Level, Fachbücher von Rolf Drechsler, Frank Rogin

Languages, Design Methods, and Tools for Electronic System Design, Fachbücher von Robert Wille, Franco Fummi

Evolutionary Algorithms for VLSI CAD, Fachbücher von Rolf Drechsler

Formal Verification of Circuits, Fachbücher von Rolf Drechsler

Refinement of basic physical models, Fachbücher von Stanislav Ordin

Automatic reduction of multi-zone models for building simulation, Fachbücher

Design Automation Techniques for Approximation Circuits, Fachbücher von Daniel Grosse, Rolf Drechsler, Arun Chandrasekha...

Automatic Generation of Process Models for Fed-Batch Fermentations Based on the Detection of Biologi, Fachbücher von Seb...

Compact Representations for the Design of Quantum Logic, Fachbücher von Robert Wille, Philipp Niemann