An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chen Chen, HeSuan Hu. An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis. In IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015. pages 3841-3848, IEEE, 2015. [doi]

This author has not been identified. Look up 'Chen Chen' in GoogleThis author has not been identified. Look up 'HeSuan Hu' in Google

runs on WebDSL