Lessons Learned from Model Checking a NASA Robot Controller.

Thu, 01 Jan 2004 00:00:00 +0100

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