Run-time assertion schemes for safety-critical systems [pacemakers/defibrillators application].

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

Browse the full CBMS paper archive.