Verimag

bibtex

@phdthesis{Chk10a,
    title = {Mod\'elisation des syst\`emes temps-r\'eel embarqu\'es en utilisant AADL pour la g\'en\'eration automatique d'applications formellement v\'erifi\'ees },
    author = {Chkouri, Mohamad},
    year = {2010},
    school = {Universit\'e Joseph-Fourier - Grenoble I},
    team = {DCS},
}

Publication Sections


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

info visites 911635