bibtex

@phdthesis{Gau03,
    title = {\'etude du d\'ebogage de syst\`emes r\'eactifs et application au langage synchrone Lustre },
    author = {Gaucher, Fabien},
    year = {2003},
    school = {Institut National Polytechnique de Grenoble},
    team = {SYNC},
}


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

info visites 4137649