@inproceedings{'PKS+6',
title = { Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference },
author = {Poplavko, Peter and Kahil, Rany and Socci, Dario and Bensalem, Saddek and Bozga, Marius},
year = {2016},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa},
crossref = {DBLP:conf/isola/2016-1},
pages = {605--621},
team = {DCS, RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008860
|
|
|