- 안전 필수 시스템의 정형기법 적용 - 원자력 시스템과 철도 제어 시스템 사례연구
- ㆍ 저자명
- 이혁,신지훈,안소진,이진호,최진영,Lee. Hyuk,Shin. Jee-Hoon,Ahn. So-Jin,Lee. Jean-Ho,Choi. Jin-Young
- ㆍ 간행물명
- 정보과학회지
- ㆍ 권/호정보
- 2013년|31권 5호|pp.46-55 (10 pages)
- ㆍ 발행정보
- 한국정보과학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.