Lessons Learned from Model Checking a NASA Robot Controller
Natasha Sharygina, James Browne, Fei Xie, Robert Kurshan, Vladimir LevinVolume:
25
Language:
english
Pages:
30
DOI:
10.1023/b:form.0000040029.73127.85
Date:
September, 2004
File:
PDF, 579 KB
english, 2004