You are here: Home / Publicaciones / Modeling heterogeneous real-time components in BIP

A. Basu, M. Bozga, and J. Sifakis (2006)

Modeling heterogeneous real-time components in BIP

Miscellaneous publication, In Fourth IEEE International Conference on Software Engineering and Formal Methods, pages 3-12, Pune (India).

Document Actions

ROC-SIANI A-Tirma's participation at the WRSC'2016

ROC-SIANI highlights - People counting