Lessons Learned From Model Checking a NASA Robot Controller
Formal Methods in System Design - Netherlands
doi 10.1023/b:form.0000040029.73127.85
Full Text
Open PDFAbstract
Available in full text
Date
September 1, 2004
Authors
Publisher
Springer Nature