AMC: verifying user interface properties for vehicular applications

Kyungmin Lee, Jason Flinn, Thomas J. Giuli, Brian Noble, Christopher Peplin. AMC: verifying user interface properties for vehicular applications. In Hao-Hua Chu, Polly Huang, Romit Roy Choudhury, Feng Zhao, editors, The 11th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys'13, Taipei, Taiwan, June 25-28, 2013. pages 1-12, ACM, 2013. [doi]

Authors

Kyungmin Lee

This author has not been identified. Look up 'Kyungmin Lee' in Google

Jason Flinn

This author has not been identified. Look up 'Jason Flinn' in Google

Thomas J. Giuli

This author has not been identified. Look up 'Thomas J. Giuli' in Google

Brian Noble

This author has not been identified. Look up 'Brian Noble' in Google

Christopher Peplin

This author has not been identified. Look up 'Christopher Peplin' in Google