Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniela Genius, Letitia W. Li, Ludovic Apvrille. Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. In Luís Ferreira Pires, Slimane Hammoudi, Bran Selic, editors, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017. pages 78-89, SciTePress, 2017. [doi]

This author has not been identified. Look up 'Daniela Genius' in GoogleThis author has not been identified. Look up 'Letitia W. Li' in GoogleThis author has not been identified. Look up 'Ludovic Apvrille' in Google

runs on WebDSL