Verimag

bibtex

@inproceedings{HAM+14,
    title = { How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics },
    author = {Henry, Julien and Asavoae, Mihail and Monniaux, David and Maiza, Claire},
    month = {june},
    year = {2014},
    booktitle = {{SIGPLAN/SIGBED} Conference on Languages, Compilers and Tools for Embedded Systems 2014, {LCTES} '14},
    pages = {43--52},
    team = {sync, pacss},
}

URL

Publication Sections


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

info visites 791596