Optimizing the system observability level for diagnosability

TitleOptimizing the system observability level for diagnosability
Publication TypeConference Paper
Year of Publication2008
AuthorsBrandan-Briones, L, Lazovik, A, Dague, P
Conference NameProc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Conference LocationChalkidiki, Kassandra, Greece