MATLAB Digest - July 2003

Checking Code and Models in Production Environments

by Tom Erkkinen and Damon Hachmeister

Checking Code and Models in Production Environments (pdf document)

Download the scripts and models described in this article along with the "Model-Based Design Within Formalized Software Process" paper presented at the Embedded Systems Conference - China 2003.