Range Estimation of Floating-Point Variable in Simulink Models (bibtex)
by Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
Reference:
A. Chapoutot, L. Didier and F. Villers, "Range Estimation of Floating-Point Variable in Simulink Models", in Numerical Software Verification (NSV-II), 2009.
Bibtex Entry:
@inproceedings{CDV09,
	Author = {Alexandre Chapoutot and Laurent-St\'ephane Didier
                  and Fanny Villers},
	Booktitle = {Numerical Software Verification (NSV-II)},
	Title = {{Range Estimation of Floating-Point Variable in
                  Simulink Models}},
	Year = {2009}
}
Powered by bibtexbrowser