Resultados da pesquisa - Drechsler, Rolf
-
1
Automated analysis of virtual prototypes at the electronic system level design understanding and applications
Publicado em 2020Available 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
Design for testability, debug and reliability next generation measures using formal techniques
Publicado em 2021Obter o texto integral
Obter o texto integral
Electronic Resource -
3
Formal specification level concepts, methods, and algorithms
Publicado em 2015Available 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
-
5
Reversible and quantum circuits optimization and complexity analysis
Publicado em 2016Available 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
Enhanced virtual prototyping featuring RISC-V case studies
Publicado em 2021Also 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
Automatic methods for the refinement of system models from the specification to the implementation
Publicado em 2017Available 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
Design automation techniques for approximation circuits verification, synthesis and test
Publicado em 2019Available 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
-
10
Automated validation & verification of UML/OCL models using satisfiability solvers
Publicado em 2018Available 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