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


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

info visites 4191240