Model Driven Analysis of Faulty IEEE-754 Scalars

Show full item record

Title: Model Driven Analysis of Faulty IEEE-754 Scalars
Author: Mueller, Frank
Publisher: North Carolina State University. Dept. of Computer Science
Date: 2015
Series/Report No.: Technical report (North Carolina State University. Dept. of Computer Science)
TR-2015-9
URI: ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2015/TR-2015-9.pdf
http://www.lib.ncsu.edu/resolver/1840.4/8677


Files in this item

Files Size Format View
TR-2015-9.pdf 4.990Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record