Home Advanced Search
Advanced Search - Page 1
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
- English
- Year: 2018
- Author: Nils Przigoda,Robert Wille,Judith Przigoda,Rolf Drechsler (auth.)
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015
- English
- Year: 2016
- Author: Rolf Drechsler, Robert Wille (eds.)
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
- English
- Year: 2017
- Author: Julia Seiter, Robert Wille, Rolf Drechsler (auth.)
Exact Design of Digital Microfluidic Biochips
- English
- Year: 2019
- Author: Oliver Keszocze, Robert Wille, Rolf Drechsler
Formal System Verification: State-of the-Art and Future Trends
- EPUB
- English
- Year: 2018
- Author: Drechsler, Rolf
Formal system verification : state-of the-art and future trends
- English
- Year: 2018
- Author: Drechsler, Rolf
Design Automation for Field-coupled Nanotechnologies
- English
- Year: 2022
- Author: Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Reversible and Quantum Circuits: Optimization and Complexity Analysis
- English
- Year: 2016
- Author: Nabila Abdessaied, Rolf Drechsler (auth.)
Formal Specification Level: Concepts, Methods, and Algorithms
- English
- Year: 2015
- Author: Mathias Soeken, Rolf Drechsler (auth.)