DocumentCode :
299572
Title :
A Formal Specification of the IEEE Floating-Point Standard with Application to the Verification of F
Author :
Pan, Jing ; Levitt, Karl N.
Volume :
1
fYear :
1990
fDate :
5-7 Nov 1990
Firstpage :
505
Keywords :
ANSI standards; Application software; Coprocessors; Floating-point arithmetic; Formal specifications; Formal verification; Hardware; Humans; Microprocessors; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Signals, Systems and Computers, 1990 Conference Record Twenty-Fourth Asilomar Conference on
ISSN :
1058-6393
Print_ISBN :
0-8186-2180-X
Type :
conf
DOI :
10.1109/ACSSC.1990.523389
Filename :
523389
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=299572
بازگشت