City Research Online

Items where Schools and Departments is "Software Reliability" and Year is 2005

Up a level
Group by: Authors | Type | No Grouping
Jump to: A | B | C | H | S | V
Number of items: 7.

A

Alberdi, E., Povyakalo, A. A., Strigini, L. , Ayton, P., Hartswood, M., Procter, R. & Slack, R. (2005). Use of computer-aided detection (CAD) tools in screening mammography: a multidisciplinary investigation. British Journal of Radiology, 78(suppl_), S31-S40. doi: 10.1259/bjr/37646417

B

Bishop, P. G. (2005). SILS and Software. Safety-Critical Systems Club Newsletter, 14(2),

C

Clark, D., Hunt, S. & Malacaria, P. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science, 112(SPEC. ), pp. 149-166. doi: 10.1016/j.entcs.2004.01.018

H

Hunt, S. & Mastroeni, I. (2005). The PER model of abstract non-interference. In: Hankin, C. & Siveroni, I. (Eds.), Static Analysis. SAS 2005. Proc. Static Analysis, 12th International Symposium doi: 10.1007/11547662_13

S

Strigini, L. (2005). Fault Tolerance Against Design Faults. In: Diab, H. & Zomaya, A. (Eds.), Dependable Computing Systems: Paradigms, Performance Issues, and Applications. (pp. 213-241). John Wiley & Sons.

V

van der Meulen, M., Riddle, S., Strigini, L. & Jefferson, N. (2005). Protective wrapping of off-the-shelf components. COTS-based Software Systems, 3412, pp. 168-177. doi: 10.1007/978-3-540-30587-3_27

van der Meulen, M., Strigini, L. & Revilla, M. A. (2005). On the effectiveness of run-time checks. Computer Safety, Reliability and Security, 3688, pp. 151-164. doi: 10.1007/11563228_12

This list was generated on Wed Oct 9 02:25:16 2024 UTC.