- Safety Critical 시스템에서 사고의 예방동작간 충돌 분석 기법
- ㆍ 저자명
- 권장진,홍장의,Kwon. Jang-Jin,Hong. Jang-Eui
- ㆍ 간행물명
- 정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학
- ㆍ 권/호정보
- 2013년|2권 10호|pp.661-668 (8 pages)
- ㆍ 발행정보
- 한국정보처리학회
- ㆍ 파일정보
- 정기간행물| PDF텍스트
- ㆍ 주제분야
- 기타
