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