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

Y. Morikura, K. Ozaki, S. Oishi

研究成果: Article査読

本文言語English
ジャーナルDefault journal
出版ステータスPublished - 2012 6 25

引用スタイル