Towards Diagnosis Modulo Theories

Juhan-Peep Ernits, Richard Dearden

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

1 results

Finished
Automated Diagnosis for Fault Detection, Identification and Recovery in Autosub6000
Dearden, R. & Wyatt, J.
Natural Environment Research Council
1/12/08 → 15/02/12
Project: Research Councils