On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Masci, Nicola Nostro, Felicita Di Giandomenico. On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. In Elena Troubitsyna, editor, Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Volume 6968 of Lecture Notes in Computer Science, pages 78-92, Springer, 2011. [doi]

This author has not been identified. Look up 'Paolo Masci' in GoogleThis author has not been identified. Look up 'Nicola Nostro' in GoogleThis author has not been identified. Look up 'Felicita Di Giandomenico' in Google

runs on WebDSL