황종규

선택된 필터

article
conference

전체 304건 중 91번부터 100번까지의 결과를 표시합니다.

2010

Conference

철도시스템 소프트웨어 코딩규칙 검사 도구의 적용성 분석

2010-06-17

Conference

철도시스템 소프트웨어를 위한 자동화된 데이터흐름 시험도구의 구현

2010-06-16

Conference

열차제어시스템 안전성 평가를 위한 안전무결성 등급(SIL)의 고찰

2010-06-03

Conference

열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안

2010-04-23

Conference

Deduction of coding rules and implementation of automatic inspecrion tool for railway signaling software

2010-04-12

Conference

Development Procedure & Design Templates using Formal Method for Safety Improvement of Railway Signaling System

2010-04-12

Article

철도시스템 통신 안전성 확보를 위한 방법 제시 및 도구 구현

조현정 ;
황종규 ;
김용규

2010-03
전기학회 논문지 P권
대한전기학회

Article

열차제어시스템 안전성 활동 기술체계의 분석 및 적용

황종규 ;
조현정 ;
한찬희 ;
조우식 ;
안진

2010-01
한국안전학회지
한국안전학회

2009

Article

A study of Software Coding Rules Inspection Tool for Railway Signaling Software Safety

2009-12
International Journal of Safety

Conference

상태차트를 이용한 열차제어시스템 요구사항의 명세 및 검증

이혁 ;
황종규 ;
최진영

2009-11-30

처음 이전 91011 12 13 다음

상세 보기

황종규

자료 필터

자료유형

발행연도

키워드

언어

선택된 필터

철도시스템 소프트웨어 코딩규칙 검사 도구의 적용성 분석

철도시스템 소프트웨어를 위한 자동화된 데이터흐름 시험도구의 구현

열차제어시스템 안전성 평가를 위한 안전무결성 등급(SIL)의 고찰

열차제어시스템을 위한 정형기법 적용 절차 및 템플릿 제안

Deduction of coding rules and implementation of automatic inspecrion tool for railway signaling software

Development Procedure & Design Templates using Formal Method for Safety Improvement of Railway Signaling System

철도시스템 통신 안전성 확보를 위한 방법 제시 및 도구 구현

열차제어시스템 안전성 활동 기술체계의 분석 및 적용

A study of Software Coding Rules Inspection Tool for Railway Signaling Software Safety

상태차트를 이용한 열차제어시스템 요구사항의 명세 및 검증