Xiaoping Qian Submitted by Xiaoping Qian on November 4th, 2011
Matthew Might Submitted by Matthew Might on November 4th, 2011
Umit Ozguner Submitted by Umit Ozguner on November 4th, 2011
Andreas Krause Submitted by Andreas Krause on November 4th, 2011
Submitted by Michael Lemmon on November 4th, 2011
Submitted by Vijay Vittal on November 4th, 2011
Submitted by Rajesh Kumar on November 4th, 2011
He (Helen) Huang Submitted by He (Helen) Huang on November 4th, 2011
NSF Project: Formal Analysis of Man-Machine Interfaces to Cyber-Physical Systems
Sriram Sankaranarayanan Submitted by Sriram Sankaranarayanan on November 4th, 2011
Subscribe to Project Abstracts