Biblio

Export 2 results:
Author [ Title(Asc)] Type Year
Filters: Author is Alexander Lazovik  [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 
O
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.