A Framework for Designing Safe Software Systems.

Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott

Browse the full COMPSAC paper archive.