Lessons Learned from Model Checking a NASA Robot Controller - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin. Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design, 25(2-3):241-270, 2004. [doi]

This author has not been identified. Look up 'Natasha Sharygina' in GoogleThis author has not been identified. Look up 'James C. Browne' in GoogleThis author has not been identified. Look up 'Fei Xie' in GoogleThis author has not been identified. Look up 'Robert P. Kurshan' in GoogleThis author has not been identified. Look up 'Vladimir Levin' in Google

runs on WebDSL