© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Integrating COTS Software Components into Dependable Software Architectures
P. A. de C. Guerra, C. Rubira, A. Romanovsky, and R. de Lemos
In Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03), pages 182-196. IEEE Computer Society Press, May 2003.Bibtex Record
@inproceedings{1775,
author = {P. A. de C. Guerra and C. Rubira and A. Romanovsky and R. de Lemos},
title = {{Integrating COTS Software Components into Dependable Software Architectures}},
month = {May},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1775},
publication_type = {inproceedings},
submission_id = {13499_1074886132},
publisher = {IEEE Computer Society Press},
refereed = {yes},
booktitle = {Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC-03)},
}