bibtex

@inproceedings{HAM+4,
    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


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

info visites 4192110