title = { {Design flow for the rigorous development of networked embedded systems} },
author = {Lekidis, Alexios},
month = {December},
year = {2015},
type = {Theses},
school = {{Universit{'e} Grenoble Alpes}},
team = {RSD, DCS},
pdf = {https://tel.archives-ouvertes.fr/tel-01261936/file/thesisLekidis_archivage.pdf}, hal_id = {tel-01261936}, hal_version = {v1},
}
