Validity of Software Verification Results on Approximate Hardware

Tobias Isenberg 0002, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim. Validity of Software Verification Results on Approximate Hardware. Embedded Systems Letters, 10(1):22-25, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.