TY - RPRT TI - Bayesian And Human Reliability Analysis (hra)-aided Method For The Reliability Analysis Of Software (bahamas) AU - Wang, Congjian (0000000207789927) AU - Shorthill, Tate (0000000188114376) AU - Chen, Edward (0000000180088097) AU - Kim, Jisuk (0000000252124799) AU - Cogliati, Joshua (0000000324718095) AU - Bao, Han PY - 2025 DO - 10.11578/dc.20260105.1 UR - https://www.osti.gov/biblio/code-172789 ID - code-172789 ER -