Scholarworks@UNIST

UNIST Library
Search

Browsing by Author : Shin, Sung Min

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
가 나 다 라 마 바 사 아 자 차 카 타 파 하
Sort by: In order: Results/Page Etal:

Showing results 1 to 7 of 7

Automated Exhaustive Test Case Generation for Safety-Critical Software

Lee, Sang Hun , Lee, Seung Jun , Shin, Sung Min , Lee, Eun Chan , Kang, Hyun Gook

Conference Paper Issue Date2019-11-19 View60
Development of simulation-based testing environment for safety-critical software in digitalized nuclear power plant

Lee, Sang Hun , Kang, Hyun Gook , Lee, Seung Jun , Shin, Sung Min , Lee, Eun-Chan

Conference Paper Issue Date2019-02-12 View50
Exhaustive Test Case Generation for Nuclear Safety Software Based on the Software Logic Model File

Lee, Sang Hun , Lee, Seung Jun , Shin, Sung Min , Lee, Eun-Chan , Kang, Hyun Gook

Article Issue Date2024-05 View145
Exhaustive test cases for the software reliability of safety-critical digital systems in nuclear power plants File

Cho, Jaehyun , Shin, Sung Min , Lee, Seung Jun , Jung, Wondea

Article Issue Date2019-10 View93
Exhaustive testing of safety-critical software for reactor protection system File

Lee, Sang Hun , Lee, Seung Jun , Shin, Sung Min , Lee, Eun-chan , Kang, Hyun Gook

Article Issue Date2020-01 View128
Reliability modeling of safety-critical network communication in a digitalized nuclear power plant File

Lee, Sang Hun , Kim, Hee Eun , Son, Kwang Seop , Shin, Sung Min , Lee, Seung Jun , Kang, Hyun Gook

Article Issue Date2015-12 View82
Test Based Reliability Assessment Method for a Safety Critical Software in Reactor Protection System

Shin, Sung Min , Cho, Jaehyun , Lee, Seung Jun , Jung, Wondea

Conference Paper Issue Date2017-06-14 View79
1

RSS 1.0 RSS 2.0

CONTACT US

UNIST | Library

Tel : 052-217-1403 / Email : scholarworks@unist.ac.kr

Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.

ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.