In collaboration with Hualin Gao, Richard Duncan, Julie A. Baca, Joseph Picone Human and Systems Engineering Center of Advanced Vehicular System Mississippi.
03/11/20021 PRISM Programming in the Small and Many Nenad Medvidovic Marija Mikic-Rakic (neno,marija)@usc.edu.
Compositional Design and Verification of Componen t- Based Information Systems
