STATISTICAL MODEL CHECKING AND SYNTHESIS OF NETWORKED CYBER-PHYSICAL SYSTEMS

$1,223,040FY2010Department of DefenseDOD

Carnegie Mellon University, Pittsburgh PA

Investigators