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
————————————————————————————————————————————————————————————————————————
Instituto Un
Universidad de Las Palmas de Gran Canaria