@phdthesis{Bas08b,
title = { {Component-based Modeling of Heterogeneous Real-time Systems in BIP} },
author = {Basu, Ananda},
month = {Dec},
year = {2008},
type = {Theses},
school = {{Universit{\'e} Joseph-Fourier - Grenoble I}},
team = {DCS, RSD},
keywords = {Component based modeling ; Simulation ; Verification ; Real time},
pdf = {https://tel.archives-ouvertes.fr/tel-00527491/file/report.pdf},
}
