Dependability Analysis and Verification for Connected Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu. Dependability Analysis and Verification for Connected Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 263-277, Springer, 2010. [doi]

This author has not been identified. Look up 'Felicita Di Giandomenico' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'Marco Martinucci' in GoogleThis author has not been identified. Look up 'Paolo Masci' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in Google

runs on WebDSL