Loading…
Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be e...
Main Authors: | Keszocze, Oliver (Author), Wille, Robert (Author), Drechsler, Rolf (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | e-Book |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2019.
|
Edition: | 1st ed. 2019. |
Subjects: | |
Online Access: | Full-text access View in OPAC |
Similar Items
-
Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
by: Seiter, Julia, et al.
Published: (2017) -
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils, et al.
Published: (2018) -
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
by: Chandrasekharan, Arun, et al.
Published: (2019) -
Reversible and Quantum Circuits Optimization and Complexity Analysis /
by: Abdessaied, Nabila, et al.
Published: (2016) -
Complex Digital Circuits
by: Deschamps, Jean-Pierre, et al.
Published: (2019)