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]
@inproceedings{GeniusLA17,
title = {Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design},
author = {Daniela Genius and Letitia W. Li and Ludovic Apvrille},
year = {2017},
doi = {10.5220/0006140600780089},
url = {https://doi.org/10.5220/0006140600780089},
researchr = {https://researchr.org/publication/GeniusLA17},
cites = {0},
citedby = {0},
pages = {78-89},
booktitle = {Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017},
editor = {Luís Ferreira Pires and Slimane Hammoudi and Bran Selic},
publisher = {SciTePress},
isbn = {978-989-758-210-3},
}