Temporal Logic Framework for Performance Analysis of Architectures of Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ariane Piel, Jean Bourrely, Stéphanie Lala, Sylvain Bertrand, Romain Kervarc. Temporal Logic Framework for Performance Analysis of Architectures of Systems. In Sanjai Rayadurgam, Oksana Tkachuk, editors, NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Volume 9690 of Lecture Notes in Computer Science, pages 3-18, Springer, 2016. [doi]

This author has not been identified. Look up 'Ariane Piel' in GoogleThis author has not been identified. Look up 'Jean Bourrely' in GoogleThis author has not been identified. Look up 'Stéphanie Lala' in GoogleThis author has not been identified. Look up 'Sylvain Bertrand' in GoogleThis author has not been identified. Look up 'Romain Kervarc' in Google

runs on WebDSL