Verimag

bibtex

@phdthesis{Jab10b,
    title = { {Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP} },
    author = {Jaber, Mohamad},
    month = {Oct},
    year = {2010},
    type = {Theses},
    school = {{Universit{\'e} Joseph-Fourier - Grenoble I}},
    team = {DCS, RSD},
    keywords = {Component-based modeling ; source-to-source transformation ; correct-by-construction ; distributed systems ; optimization for performance ; Mod{\'e}lisation {\`a} base de composants ; source-{\`a}-source transformation ; correcte-par-construction ; syst{\`e}mes distribu{\'e}es ; optimisation pour la performance}, pdf = {https://tel.archives-ouvertes.fr/tel-00531082/file/main.pdf},
}

URL

Publication Sections


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

info visites 819573