檢索結果 - Drechsler, Rolf

Refine Results
  1. 1

    Automated analysis of virtual prototypes at the electronic system level design understanding and applications 由 Goli, Mehran, Drechsler, Rolf

    出版 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  2. 2

    Design for testability, debug and reliability next generation measures using formal techniques 由 Huhn, Sebastian, Drechsler, Rolf

    出版 2021
    獲取全文
    獲取全文
    Electronic Resource


    封面圖片
  3. 3

    Formal specification level concepts, methods, and algorithms 由 Soeken, Mathias, Drechsler, Rolf

    出版 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  4. 4

    In-memory computing synthesis and optimization 由 Shirinzadeh, Saeideh, Drechsler, Rolf

    出版 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  5. 5

    Reversible and quantum circuits optimization and complexity analysis 由 Abdessaied, Nabila, Drechsler, Rolf

    出版 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  6. 6

    Enhanced virtual prototyping featuring RISC-V case studies 由 Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf

    出版 2021
    Also available remotely for the University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Available for University of the Philippines System via SpringerLink. Click here to access
    Electronic Resource


    封面圖片
  7. 7

    Automatic methods for the refinement of system models from the specification to the implementation 由 Seiter, Julia, Wille, Rober, Drechsler, Rolf

    出版 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  8. 8

    Design automation techniques for approximation circuits verification, synthesis and test 由 Chandrasekharan, Arun, Drechsler, Rolf, Grosse, Daniel

    出版 2019
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  9. 9

    Exact design of digital microfluidic biochips 由 Keszocze, Oliver, Drechsler, Rolf, Wille, Robert

    出版 2019
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片
  10. 10

    Automated validation & verification of UML/OCL models using satisfiability solvers 由 Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    出版 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    封面圖片

檢索工具: