Search Results - Wille, Robert

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Exact Design of Digital Microfluidic Biochips

    Exact Design of Digital Microfluidic Biochips by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  2. 2
    Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

    Automatic Methods for the Refinement of System Models From the Specification to the Implementation / by Seiter, Julia, Wille, Robert, Drechsler, Rolf

    Published 2017
    Full-text access
    View in OPAC
    e-Book
  3. 3
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Published 2018
    Full-text access
    View in OPAC
    e-Book
  4. 4
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016 /

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

    Published 2018
    Other Authors:
    Full-text access
    View in OPAC
    e-Book
  5. 5
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

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

    Published 2016
    Other Authors:
    Full-text access
    View in OPAC
    e-Book

Search Tools: