Biblio

Export 2 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is B and Author is Laura Brandan-Briones  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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.