(MURI-06) FRAMEWORKS AND TOOLS FOR HIGH-CONFIDENCE DESIGN OF ADAPTIVE, DISTRIBUTED EMBEDDED CONTROL SYSTEMS

$5,981,704FY2008Department of the Air ForceDOD

Vanderbilt University, Nashville TN

Investigators