"AN INTEGRATED SPECIFICATION AND VERIFICATION ENVIRONMENT FOR COMPONENT-BASED ARCHITECTURES OF LARGE-SCALE DISTRIBUTED SYSTEMS, DATED 12/1/05"

Kansas State University, Manhattan KS

Investigators