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]
Abstract is missing.