© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Verification and validation of a fault-tolerant architectural abstraction
P. H. S. Brito, R. de Lemos, E. Martins, and C. M. F. Rubira
In Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Workshop on Architecting Dependable Systems (WADS 2007), pages 182-196, June 2007.Bibtex Record
@inproceedings{2573,
author = {P. H. S. Brito and R. de Lemos and E. Martins and C. M. F. Rubira},
title = {Verification and Validation of a Fault-Tolerant Architectural Abstraction},
month = {June},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2573},
publication_type = {inproceedings},
submission_id = {22709_1184170261},
booktitle = {Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007)},
series = {Workshop on Architecting Dependable Systems (WADS 2007)},
refereed = {yes},
}