A. Saeed
3 published titles
Requirements specification and verification for safety- critical systems : a train set example
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Laboratory
- 1991
- Details
An approach for the risk analysis of safety specifications
1 edition
- University of Newcastle upon Tyne
- 1994
- Details
Analysis of safety requirements in the context of system faults and human errors
(Contributor)
1 edition
- University of Newcastle Upon Tyne Computing Science
- 1995
- Details
