Toward the Design of Robotic Software with Verifiable Safety - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, Alois Knoll. Toward the Design of Robotic Software with Verifiable Safety. In Sheikh Iqbal Ahamed, Elisa Bertino, Carl K. Chang, Vladimir Getov, Lin Liu, Hua Ming, Rajesh Subramanyan, editors, Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, 20-24 July 2009. pages 622-623, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Chih-Hong Cheng' in GoogleThis author has not been identified. Look up 'Markus Rickert' in GoogleThis author has not been identified. Look up 'Christian Buckl' in GoogleThis author has not been identified. Look up 'Edward A. Lee' in GoogleThis author has not been identified. Look up 'Alois Knoll' in Google

runs on WebDSL