Modeling Heterogeneous Real-time Components in BIP

Cite this paper

@article{Basu2006ModelingHR, title={Modeling Heterogeneous Real-time Components in BIP}, author={Ananda Basu and Marius Bozga and Joseph Sifakis}, journal={Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)}, year={2006}, pages={3-12} }