Verimag

bibtex

@phdthesis{Hel07,
    title = {Validation de mod\`eles de syst\`emes sur puce en pr\'esence d'ordonnancements ind\'eterministes et de temps impr\'ecis },
    author = {Helmstetter, Claude},
    month = {3},
    year = {2007},
    school = {Institut National Polytechnique de Grenoble - INPG},
    team = {SYNC},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 20 ; visits: 429402