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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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 Wed Apr 23 21:35:34 2014 BST.