@inproceedings{NBM+14,
title = { Building faithful high-level models and performance evaluation of manycore embedded systems },
author = {Nouri, Ayoub and Bozga, Marius and Molnos, Anca and Legay, Axel and Bensalem, Saddek},
year = {2014},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014},
pages = {209--218},
publisher = {{IEEE}},
team = {DCS, RSD},
}
