Showing 1 - 20 results of 28 for search 'Drechsler, Rolf', query time: 0.05s Refine Results
  1. 1
    Formal Specification Level Concepts, Methods, and Algorithms /
    by Soeken, Mathias, Drechsler, Rolf
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Reversible and Quantum Circuits Optimization and Complexity Analysis /
    by Abdessaied, Nabila, Drechsler, Rolf
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Robustness and Usability in Modern Design Flows
    by Fey, Görschwin, Drechsler, Rolf
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    High Quality Test Pattern Generation and Boolean Satisfiability
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Quality-Driven SystemC Design
    by Große, Daniel, Drechsler, Rolf
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Towards a Design Flow for Reversible Logic
    by Wille, Robert, Drechsler, Rolf
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Debugging at the Electronic System Level
    by Rogin, Frank, Drechsler, Rolf
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Advanced BDD Optimization
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Exact Design of Digital Microfluidic Biochips
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Test Pattern Generation using Boolean Proof Engines
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Formal System Verification State-of the-Art and Future Trends /
    Published 2018
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Advanced Formal Verification
    Published 2004
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Towards a Design Flow for Reversible Logic
    by Wille, Robert
    Published 2010
    Other Authors: “…Drechsler, Rolf…”
    Get full text
    Electronic Kit Book
  17. 17
    Quality-Driven SystemC Design
    by GroΓe, Daniel
    Published 2010
    Other Authors: “…Drechsler, Rolf…”
    Get full text
    Electronic Kit Book
  18. 18
    Debugging at the Electronic System Level
    by Rogin, Frank
    Published 2010
    Other Authors: “…Drechsler, Rolf…”
    Get full text
    Electronic Kit Book
  19. 19
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
    Published 2016
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
    Published 2015
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search