RIGOROUS APPROACHES FOR VALIDATION AND VERIFICATION OF NETWORKED SYSTEMS

$1,496,484FY2011Department of DefenseDOD

Virginia Polytechnic Institute & State University

Investigators