Brito, Patrick H. S. and de Lemos, Rogério and Martins, Eliane and Rubira, Cecilia M. F.
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)
- Depositors only (login required):
Downloads per month over past year