R. De Lemos
5 published titles
Requirements specification and verification for safety- critical systems : a train set example
1 edition
- University of Newcastle upon Tyne, Computing Laboratory
- 1991
- Details
An approach for the risk analysis of safety specifications
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 1994
- Details
Analysis of safety requirements in the context of system faults and human errors
1 edition
- University of Newcastle Upon Tyne Computing Science
- 1995
- Details
Dynamic selection of software components in the face of changing requirements
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 1999
- Details
Architecting dependable systems
(Contributor)
1 edition
- ISBN: 3540407278
- Springer
- 2003
- Details
