A Logic for the Statistical Model Checking of Dynamic Software Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay. A Logic for the Statistical Model Checking of Dynamic Software Architectures. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I. Volume 9952 of Lecture Notes in Computer Science, pages 806-820, 2016. [doi]

This author has not been identified. Look up 'Jean Quilbeuf' in GoogleThis author has not been identified. Look up 'Everton Cavalcante' in GoogleThis author has not been identified. Look up 'Louis-Marie Traonouez' in GoogleThis author has not been identified. Look up 'Flávio Oquendo' in GoogleThis author has not been identified. Look up 'Thaís Batista' in GoogleThis author has not been identified. Look up 'Axel Legay' in Google

runs on WebDSL