Specification and analysis of software architectures : modeling of software architectures

von Shi, Tianjun
Veröffentlicht 2008

Coverage analysis methods for formal software testing

von Lee, John A. N.
Veröffentlicht 1987

A methodology for test selection

von Lee, J. A. N.
Veröffentlicht 1988

A comparison of formal definitions of Ada tasking

von He, Xudong
Veröffentlicht 1989

Malware Analysis Method Based Random Access Memory in Android

von Ji, Wenping
Veröffentlicht in ATIS (11. : 2020 : Brisbane) Applications and techniques in information security (2020)

Blockchain-Based Access Control Mechanism in Electronic Evidence

von Zhang, Yunjia
Veröffentlicht in CCF China Blockchain Conference (3. : 2020 : Jinan) Blockchain technology and application (2021)

ICONE29-88943 Preliminary Study on Corrosion Behavior and Mechanical Properties Of Inconel 617 in Impure Helium Environment of VHTR

von Du, Bin
Veröffentlicht in International Conference on Nuclear Engineering (29. : 2022 : Online) Proceedings of 2022 29th International Conference on Nuclear Engineering (ICONE 29) ; Volume 2: Nuclear fuel and material, reactor physics and transport theory, fuel cycle technology (2022)

ICONE28-63633 Study on Dehumidification of Carbon Materials Based on Thermogravimetry

von Yan, Da
Veröffentlicht in International Conference on Nuclear Engineering (28. : 2021 : Online) Proceedings of 2021 28th International Conference on Nuclear Engineering (ICONE 28) ; Volume 1: Operating plant challenges, successes, and lessons learned; nuclear plant engineering; advanced reactors and fusion; small modular and micro-reactors technologies and applications (2021)

DNS Rebinding Detection for Local Internet of Things Devices

von He, Xudong
Veröffentlicht in FCS (3. : 2020 : Tientsin; Online) Frontiers in cyber security (2020)

ICONE2020-16074 Corrosion of High Temperature Alloys in the Primary Coolant of HTGR Under Very- High Temperature Operation

von Wang, Qiuhao
Veröffentlicht in ASME International Conference on Nuclear Engineering (2020 : Online) Proceedings of the ASME International Conference on Nuclear Engineering - 2020 ; Volume 1: Beyond design basis, codes and standards, computational fluid dynamics (CFD), decontamination and decommissioning, nuclear fuel and engineering, nuclear plant engineering (2020)

ICONE2020-16358 Study on Heating Process of Dehumidifying Experiment in HTGR

von Shen, Kaiyue
Veröffentlicht in ASME International Conference on Nuclear Engineering (2020 : Online) Proceedings of the ASME International Conference on Nuclear Engineering - 2020 ; Volume 1: Beyond design basis, codes and standards, computational fluid dynamics (CFD), decontamination and decommissioning, nuclear fuel and engineering, nuclear plant engineering (2020)

ICONE28-63659 Oxidation Behaviors of the High Temperature Alloys in the Impure Helium and Argon

von Zheng, Wei
Veröffentlicht in International Conference on Nuclear Engineering (28. : 2021 : Online) Proceedings of 2021 28th International Conference on Nuclear Engineering (ICONE 28) ; Volume 1: Operating plant challenges, successes, and lessons learned; nuclear plant engineering; advanced reactors and fusion; small modular and micro-reactors technologies and applications (2021)

Featured topic issue: Best papers from SEKE 2017

Veröffentlicht 2017

ICONE28-64351 Corrosion Behavior of Superalloys in High Temperature Gas Cooled Reactor in Impure Helium With Corrosion Time

von Li, Haoxiang
Veröffentlicht in International Conference on Nuclear Engineering (28. : 2021 : Online) Proceedings of 2021 28th International Conference on Nuclear Engineering (ICONE 28) ; Volume 1: Operating plant challenges, successes, and lessons learned; nuclear plant engineering; advanced reactors and fusion; small modular and micro-reactors technologies and applications (2021)

ICONE29-90536 Effect of a Cr2 O3/ A-Al2 O3 Coating on the Corrosion Behavior of Incoloy 800H Alloy in High Temperature Impure Helium

von Li, Haoxiang
Veröffentlicht in International Conference on Nuclear Engineering (29. : 2022 : Online) Proceedings of 2022 29th International Conference on Nuclear Engineering (ICONE 29) ; Volume 2: Nuclear fuel and material, reactor physics and transport theory, fuel cycle technology (2022)