Handling index-out-of-bounds in safety-critical embedded C code using model-based development.

Gunter Blache

Browse the full MODELS paper archive.