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.

1 Publication


2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat | Files available | DOI
 

Filters and Search Terms

issn=1943-0671

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed