원전에서의 안전-필수 시스템에 대한 소프트웨어 안전성 분석

천세우 ,  이장수

한국안전학회 학술발표회

2005 .01

원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구

지은경 ,  권기춘 ,  이장수 외 1명

한국정보과학회 학술발표논문집

2017 .06

에너지 이용과 안전 - 원전의 안전성 확보 방법론을 중심으로 -

은영수

원자력산업

1995 .01

원전은 얼마나 안전해야 정말 안전한가?

이승구

원자력산업

1996 .01

소프트웨어 기반의 안전 필수 시스템을 위한 안전성 분석 기법

이장수 ,  이동아

정보과학회지

2015 .07

원전 시장의 소프트웨어 분야 집중 개발

원자력산업

2000 .01

“소프트웨어 안전” 특집을 내면서

유준범

정보과학회지

2015 .07

차세대 소프트웨어 개발 방법론

정의석

디지털콘텐츠

2002 .01

원전 안전대책 어떻게 달라졌나?

박상기

원자력산업

1986 .01

원전 안전성 국제 심포지엄 - 한국 원전의 역할과 안전성

이종호

원자력산업

2016 .01

한국표준형 원전의 안전성 고찰

허남

원자력산업

1994 .01

원전의 운전 및 안전성

김상목

원자력산업

1995 .01

원전의 운전과 안전성

이종훈

원자력산업

1986 .01

[서평]소프트웨어 개발 방법론

우치수

정보과학회지

1995 .06

원자력발전소 안전－필수 소프트웨어 개발 방법론

장훈선 ,  장영우 ,  하재홍 외 1명

정보과학회지

2007 .02

원전 안전성 국제 심포지엄 - 후쿠시마 원전 사고 이후 원전의 구조 평가

Gimb ,  one ,  Ca 외 1명

원자력산업

2016 .01

우리의 원전, 무엇이 문제인가?

노윤래

원자력산업

1993 .01

원전 MMIS 소프트웨어 개발을 위한 규제요건 분석 및 개발 방법론

이종복 ,  서상문 ,  서용석 외 3명

한국정보과학회 학술발표논문집

2004 .04

원전의 안전성 향상을 위한 주기적 안전성 평가 제도

김승평

원자력산업

2000 .01

안전 최우선의 원전 운영과 경제적 원전 사업 추진

한국전력공사

원자력산업

2001 .01