High Level Systems Validation Using Hierarchical Message Sequence Charts

Dr. Praveen Murthy, Fujitsu Labs of America
Calit2 Auditorium, University of California, Irvine
April 26, 2007 
Abstract