Verification methods for linear systems using ufp estimation with rounding-to-nearest

Y. Morikura, K. Ozaki, S. Oishi

Research output: Contribution to journalArticle

Original languageEnglish
JournalDefault journal
Publication statusPublished - 2012 Jun 25

Cite this