×

Found 8 Documents (Results 1–8)

Automatic test case generation using interval arithmetic. (English) Zbl 1394.65180

Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 81-87 (2001).
MSC:  65Y04 65G30
PDFBibTeX XMLCite
Full Text: DOI

Interval analysis for embedded systems. (English) Zbl 0949.65050

Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 149-158 (1999).
MSC:  65G40 65D25 68W30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field