Items where Schools and Departments is "Software Reliability" and Year is
Up a level
Number of items: 2.
A
Arsal, M., Asad, H. 
ORCID: 0000-0002-8506-5721, Kamel, T. & Khan, A.
Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks.
Paper presented at the Sensei 2025, 9 Sep 2025, Stockholm, Sweden.
P
Popov, P. T. ORCID: 0000-0002-3434-5272
Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect (MATLAB code used in section 5)