City Research Online

Items where Author is "Rushby, J."

Up a level
Group by: Type | No Grouping
Number of items: 4.

Bloomfield, R. E. ORCID: 0000-0002-2050-6151 & Rushby, J. (2022). Assessing Confidence with Assurance 2.0 (SRI-CSL-2022-02). California, USA: SRI International.

Bloomfield, R. E. ORCID: 0000-0002-2050-6151 & Rushby, J. (2020). Assurance 2.0. City, University of London.

Rushby, J., Littlewood, B. & Strigini, L. (2014). Evaluating the Assessment of Software Fault-Freeness. Paper presented at the AESSCS 2014, 13-05-2015, Newcastle upon Tyne.

Littlewood, B. & Rushby, J. (2011). Reasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, 38(5), pp. 1178-1194. doi: 10.1109/TSE.2011.80

This list was generated on Fri Mar 1 05:40:20 2024 UTC.