Range estimation of floating-point variables in Simulink models (bibtex)
by Alexandre Chapoutot, Laurent-Stephane Didier, Fanny Villers
Reference:
A. Chapoutot, L. Didier and F. Villers, "Range estimation of floating-point variables in Simulink models", in Conference on Design and Architectures for Signal and Image Processing, IEEE, 2012, pp. 1-8.
Bibtex Entry:
@inproceedings{CDV12,
	Author = {Alexandre Chapoutot and Laurent-Stephane Didier and
                  Fanny Villers},
	Booktitle = {Conference on Design and Architectures for Signal
                  and Image Processing},
	Pages = {1-8},
	Publisher = {IEEE},
	Title = {Range estimation of floating-point variables in
                  Simulink models},
	Year = {2012}
}
Powered by bibtexbrowser