Lessons Learned from Model Checking a NASA Robot Controller
Additional information
Authors
Sharygina N.,
Browne J.,
Xie F.,
Kurshan R.,
Levin V.
Type
Journal Article
Year
2004
Language
English
Journal
Formal Methods in System Design
Pages (or article number)
241-270
