Verimag

bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 818558