Composable and Systems Technology
for
High Confidence Cyber-Physical Systems
Workshop
July 9-10, 2007 ~ Arlington, Virginia