National Workshop on High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS)
National Workshop on High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS), November 30 - December 1, 2006, Alexandria, VA.