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

Published 2016

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

by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published 2017

Einführung in die Entwurfsautomatisierung für Quantencomputer

by Zulehner, Alwin, Wille, Robert
Published 2023

Towards a Design Flow for Reversible Logic

by Wille, Robert, Drechsler, Rolf
Published 2010

Introducing Design Automation for Quantum Computing

by Zulehner, Alwin, Wille, Robert
Published 2020

Exact Design of Digital Microfluidic Biochips

by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published 2019

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016

Published 2018

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

by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018

Design Automation for Field-coupled Nanotechnologies

by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf
Published 2022

Designing Droplet Microfluidic Networks : A Toolbox for Designers

by Grimmer, Andreas, Wille, Robert
Published 2020