| Original language | English |
|---|---|
| Pages | 181-185 |
| Number of pages | 5 |
| Publication status | Published - 1 Apr 2009 |
Formal Methods for Automated Diagnosis of Autosub 6000
Juhan-Peep Ernits, Richard Dearden, M Pebody, E Denney, D Giannakopoulou, CS Pasareanu
Research output: Contribution to conference (unpublished) › Paper