(MURI-06) SPECIFICATION, DESIGN AND VERIFICATION OF DISTRIBUTED EMBEDDED SYSTEMS

$6,000,000FY2008Department of the Air ForceDOD

California Institute Of Technology, Pasadena CA

Investigators