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},
}


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

info visites 4121948