© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A fault-tolerant architectural approach for dependable systems
R. de Lemos, P. A. de C. Guerra, and C. Rubira
IEEE Software, 23(2):182-196, March 2006.Bibtex Record
@article{2562,
author = {R. de Lemos and P. A. de C. Guerra and C. Rubira},
title = {A Fault-Tolerant Architectural Approach for Dependable Systems},
month = {March},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2562},
publication_type = {article},
submission_id = {9039_1183999227},
journal = {IEEE Software },
volume = {23},
number = {2},
publisher = {IEEE Computer Society},
}