| Original language | English |
|---|---|
| Pages | 181-185 |
| Number of pages | 5 |
| Publication status | Published - 1 Apr 2009 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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