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

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]

Abstract

Abstract is missing.