Verimag

bibtex

@phdthesis{Jou94,
    title = {Etude d'un environnement de programmation et de v\'erification des syst\`emes r\'eactifs, multi-langages et multi-outils },
    author = {Jourdan, Muriel},
    month = {sep},
    year = {1994},
    school = {UJF},
    team = {SYNC},
}

Publication Sections


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

info visites 803093