Safety analysis for integrated circuits in the context of hybrid systems.

V. Prasanth, Rubin A. Parekhji, Bharadwaj Amrutur

Browse the full ITC paper archive.