|
Deepinder P. Sidhu
Professor - Computer Science and Electrical Engineering
University of Maryland Baltimore County
Sagar
Naik
Dept. of Electrical and Computer Engineering
University of Waterloo
Gerard J. Holzmann
NASA/JPL Laboratory for Reliable Software,
Pasadena, CA.
|