共 50 条
- [41] Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code SECURE IT SYSTEMS, NORDSEC 2021, 2021, 13115 : 192 - 211
- [42] Preliminary study of impact of fuel options on performance of nuclear thermal propulsion (NTP) concepts SPACE TECHNOLOGY AND APPLICATIONS INTERNATIONAL FORUM-STAIF 2002, 2002, 608 : 1084 - 1095
- [43] CODE DEVELOPMENT FOR THE NEUTRONICS/THERMAL-HYDRAULICS COUPLING TRANSIENT ANALYSIS OF MOLTEN SALT REACTORS PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 3, 2017,
- [44] DEVELOPMENT AND PRELIMINARY VERIFICATION OF THE 3D CORE NEUTRONIC CODE: RCAD PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 3, 2017,
- [46] Development and Preliminary Verification of Oxide Fuel Performance Analysis Code FUTURE for Lead-based Fast Reactor Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2022, 56 (07): : 1328 - 1338
- [48] DEVELOPMENT AND ASSESSMENT OF THE TRANSIENT REACTOR ANALYSIS CODE (TRAC) NUCLEAR SAFETY, 1980, 21 (02): : 171 - 183