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