Cyber-physical specification mismatch identification with dynamic analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Taylor T. Johnson, Stanley Bak, Steven Drager. Cyber-physical specification mismatch identification with dynamic analysis. In Alexandre M. Bayen, Michael S. Branicky, editors, Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, Seattle, WA, USA, April 14-16, 2015. pages 208-217, ACM, 2015. [doi]

This author has not been identified. Look up 'Taylor T. Johnson' in GoogleThis author has not been identified. Look up 'Stanley Bak' in GoogleThis author has not been identified. Look up 'Steven Drager' in Google

runs on WebDSL