Verimag

bibtex

@phdthesis{Tri15,
    title = { {Distributed Implementations of Timed Component-based Systems} },
    author = {Triki, Ahlem},
    month = {Jun},
    year = {2015},
    type = {Theses},
    number = {2015},
    school = {{Universit{\'e} Grenoble Alpes}},
    team = {DCS, RSD},
    keywords = {Formal methods ; Embedded Systems ; Distributed Systems ; Real-time ; M{\'e}thodes formelles ; Syst{\`e}mes embarqu{\'e}s ; Temps-r{\'e}el ; Syst{\`e}mes distribu{\'e}s}, pdf = {https://tel.archives-ouvertes.fr/tel-01169720/file/TRIKI_2015_archivage.pdf},
}

URL

Publication Sections


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

info visites 915259