Optimizing the System Observability Level for Diagnosability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura Brandán Briones, Alexander Lazovik, Philippe Dague. Optimizing the System Observability Level for Diagnosability. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 815-830, Springer, 2008. [doi]

This author has not been identified. Look up 'Laura Brandán Briones' in GoogleThis author has not been identified. Look up 'Alexander Lazovik' in GoogleThis author has not been identified. Look up 'Philippe Dague' in Google

runs on WebDSL