@misc{indiciaecbb39a3d3d21, title = {Bayesian And Human Reliability Analysis (hra)-aided Method For The Reliability Analysis Of Software (bahamas)}, author = {Wang, Congjian (0000000207789927) and Shorthill, Tate (0000000188114376) and Chen, Edward (0000000180088097) and Kim, Jisuk (0000000252124799) and Cogliati, Joshua (0000000324718095) and Bao, Han}, year = {2025}, doi = {10.11578/dc.20260105.1}, url = {https://www.osti.gov/biblio/code-172789}, note = {Source identifier: code-172789} }