Verimag

bibtex

@misc{BHJ+10e,
    title = {{SimSoC-Cert: a Certified Simulator for Systems on Chip} },
    author = {Blanqui, Fr\'ed\'eric and Helmstetter, Claude and Joloboff, Vania and Monin, Jean-Fran\c{c}ois and Shi, Xan},
    month = {09},
    year = {2010},
    howpublished = {Draft},
    team = {DCS,PACSS},
}

Sections de Publications


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

info visites 874237