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

Group by: Item Type | Date | No Grouping

Number of items: 4.

Conference or workshop item

de Lemos, R. 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, R. 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).

Preview

Preview

Wang, J. and Saeed, A. and de Lemos, R. (1997) Subjective Safety Analysis for Software Development. In: Proceedings of the International Conference on Safety and Reliability (ESREL 97).

Preview

de Lemos, R. and Saeed, A. and Anderson, T. (1996) Analysis of Safety Requirements for a Chemical Batch Processing System. In: Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 16:05:51 2013 BST.