Diagnosis of Autosub 6000 using Automatically Generated Software Models

Juhan-Peep Ernits, Richard Dearden, M Pebody, J Guggenheim

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Oct 2010
Event	Proceedings of the 21st International Workshop on the Principles of Diagnosis (DX-10) - Duration: 1 Oct 2010 → …

Conference	Proceedings of the 21st International Workshop on the Principles of Diagnosis (DX-10)
Period	1/10/10 → …

Cite this

@conference{9a83ee994ba740e2a99518a7eb4556f4,

title = "Diagnosis of Autosub 6000 using Automatically Generated Software Models",

author = "Juhan-Peep Ernits and Richard Dearden and M Pebody and J Guggenheim",

year = "2010",

month = oct,

day = "1",

language = "English",

note = "Proceedings of the 21st International Workshop on the Principles of Diagnosis (DX-10) ; Conference date: 01-10-2010",

}