Verimag

bibtex

@inproceedings{AMR13,
    title = { Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective },
    author = {Asavoae, Mihail and Maiza, Claire and Raymond, Pascal},
    year = {2013},
    booktitle = {13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France},
    pages = {32-41},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
    series = {OASICS},
    volume = {30},
    team = {SYNC},
}

URL

PDF

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 915493