City Research Online

Items where Author is "Rushby, J."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Number of items: 3.


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

Conference or Workshop Item

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

Working Paper

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

This list was generated on Mon Mar 1 05:29:40 2021 UTC.