Integrated design, simulation, and verification of real-time systems.

Rajive L. Bagrodia, Chien-Chung Shen

Browse the full ICDCS paper archive.