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 | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900339