Number of items: 4.
Conference or workshop item
|
de Lemos, Rogério and Saeed, Amer
(1999)
Validating Formal Verification using Safety Analysis Techniques.
In:
Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99) / Lecture Notes in Artificial Intelligence.
Springer
pp. 58-66.
(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)
|
|
|
Cepin, M. and de Lemos, Rogério and Mavko, B. and Riddle, S. and Saeed, Amer
(1997)
An Object-Based Approach to Modelling and Analysis of Failure Properties.
In: Daniel, P., ed.
Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP'97).
Springer-Verlag, Berlin, Germany, York, UK
pp. 281-294.
(Full text available)
|
|
|
Wang, J. and Saeed, Amer and de Lemos, Rogério
(1997)
Subjective Safety Analysis for Software Development.
In: Soares, C. Guedes, ed.
Proceedings of the International Conference on Safety and Reliability (ESREL 97).
Elsevier Science Ltd, Oxford, UK, Lisbon, Portugal
pp. 389-396.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/21495/1.hassmallThumbnailVersion/subjective_wang.pdf)  Preview |
|
|
de Lemos, Rogério and Saeed, Amer and Anderson, Tom
(1996)
Analysis of Safety Requirements for a Chemical Batch Processing System.
In: Hilburn, T. and Suski, Gregory J. and Zalewski, Janusz, eds.
Proceedings of the 2nd IFAC Workshop on Safety and Reliability in Emerging Control Technologies.
Pergamon/Elsevier Science, Oxford UK, Daytona Beach, Florida, USA
pp. 205-210.
(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)
|
|
This list was generated on Fri May 17 23:49:57 2019 BST.
