@phdthesis{eichler:tel-01174370, TITLE = {{Mod{\'e}lisation formelle de syst{\`e}mes dynamiques autonomes : graphe, r{\'e}{\'e}criture et grammaire}}, AUTHOR = {Eichler, C{\'e}dric}, URL = {https://theses.hal.science/tel-01174370}, HAL_LOCAL_REFERENCE = {Rapport laas : 15182}, SCHOOL = {{Universite Toulouse III Paul Sabatier}}, YEAR = {2015}, MONTH = Jun, KEYWORDS = {Dynamic software architectures ; Correction by design ; Graph grammars ; Autonomic computing ; Graph rewriting ; Informatique autonome ; Grammaires de graphes ; Cloud computing ; Correction par construction ; Architectures logicielles dynamiques ; R{\'e}{\'e}criture de graphe}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-01174370/file/EICHLER%20C.pdf}, HAL_ID = {tel-01174370}, HAL_VERSION = {v1}, }