Biblio

Export 2 results:
Author Title [ Type(Asc)] Year
Filters: Author is Laura Brandan-Briones  [Clear All Filters]
Conference Paper
L. Brandan-Briones, Lazovik, A., and Dague, P., “Optimizing the system observability level for diagnosability”, in Proc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Kassandra, Greece, 2008.
L. Brandan-Briones, Lazovik, A., and Dague, P., “Optimal Observability for Diagnosability”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.