Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 3.

Article

Brito, P.H.S. and de Lemos, R. and Rubira, C. and Martins, E. (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology , 24 (2). pp. 212-237. ISSN 1000-9000. The full text of this publication is not available from this repository.

Conference or workshop item

Brito, P.H.S. and de Lemos, R. and Martins, E. and Moraes, R. and Rubira, C.M.F. (2009) Architectural-Based Validation of Fault-Tolerant Software. In: Fourth Latin-American Symposium on Dependable Computing (LADC 09)., 1st - 4th September, 2009, Joao Pessoa, PB, Brazil. The full text of this publication is not available from this repository.

Brito, P.H.S. and de Lemos, R. and Martins, E. and Rubira, C.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 available from this repository.

This list was generated on Sat May 25 13:33:54 2013 BST.