Verimag

bibtex

@phdthesis{Ben16a,
    title = {{Compositional Verification of Component-based Real-time Systems and Applications} },
    author = {Ben Rayana - Tekaya, Souha},
    month = {Nov},
    year = {2016},
    type = {Theses},
    school = {{Universit{\'e} Grenoble Alpes}},
    team = {RSD},
}

Sections de Publications


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

info visites 819446