Verification and Validation of a Fault-Tolerant Architectural Abstraction

Brito, Patrick H. S., de Lemos, Rogério, Martins, Eliane, Rubira, Cecilia M. F. (2007) Verification and Validation of a Fault-Tolerant Architectural Abstraction. In: Supplemental Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), June 2007, Edinburgh, Scotland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14586)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.

Item Type:	Conference proceeding
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Institutional Unit:	Schools > School of Computing
Former Institutional Unit:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Mark Wheadon
Date Deposited:	24 Nov 2008 18:05 UTC
Last Modified:	20 May 2025 10:06 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/14586 (The current URI for this page, for reference purposes)

University of Kent Author Information

de Lemos, Rogério.

Creator's ORCID:	https://orcid.org/0000-0002-0281-6308
CReDIT Contributor Roles:

Depositors only (login required):

Total Views

Total unique views of this page since July 2020. For more details click on the image.