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.

Conference or workshop item

de Lemos, Rogério and Saeed, A. (1999) Validating Formal Verification using Safety Analysis Techniques. In: Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Sep 28-29, 1999, Toulouse, France. (The full text of this publication is not available from this repository)

Cepin, M. and de Lemos, Rogério and Mavko, B. and Riddle, S. and Saeed, A. (1997) An Object-Based Approach to Modelling and Analysis of Failure Properties. In: Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97). (Full text available)
[img]
Preview
[img]
Preview

Wang, J. and Saeed, A. and de Lemos, Rogério (1997) Subjective Safety Analysis for Software Development. In: Proceedings of the International Conference on Safety and Reliability (ESREL 97). (Full text available)
[img]
Preview

This list was generated on Thu Jul 17 12:25:40 2014 BST.