TY  - RPRT
TI  - Automatic Certification of Kalman Filters for Reliable Code Generation
AU  - Denney, Ewen
AU  - Fischer, Bernd
AU  - Schumann, Johann
AU  - Richardson, Julian
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060015687
ID  - 20060015687
ER  -