Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5 Publications


2021 | Dissertation | LibreCat-ID: 26746 | OA
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn: Paderborn University, 2021.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 37057
G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 9576
D. O. Uribe, R. Stroop, T. Hemsel, and J. Wallaschek, “Development of a biomedical tissue differentiation system using piezoelectric actuators,” in Frequency Control Symposium, 2008 IEEE International, 2008, pp. 91–94.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 6508
P. Kaufmann and M. Platzner, “MOVES: A Modular Framework for Hardware Evolution,” in Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), Edinburgh, UK, 2007, pp. 447–454.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8926
T. Hemsel, W. Littmann, and J. Wallaschek, “Piezoelectric transformers - state of the art and development trends,” in Ultrasonics Symposium, 2002. Proceedings. 2002 IEEE, 2002, vol. 1, no. vol.1, pp. 645–648.
LibreCat | DOI
 

Filters and Search Terms

keyword="Circuits"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed