High Level Systems Validation Using Hierarchical Message Sequence Charts

Dr. Praveen Murthy
Fujitsu Laboratories of America
Sunnyvale, CA
Calit2 Auditorium
April 26, 2007
Abstract