황종규

선택된 필터

article
conference

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

2008

Article

안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성

이진호 ;
황대영 ;
김진현 ;
박준길 ;
최진영 ;
... 황종규 ;
... 윤용기 ;
... 조현정

2008-12
정보과학회논문지 : 소프트웨어 및 응용
한국정보과학회

Conference

열차제어시스템 소프트웨어 Metric 분석 자동화도구 개발

황종규 ;
조현정 ;
정의진 ;
김용규

2008-11-13

Conference

열차제어 S/W 안전성 평가를 위한 절차 및 관리 방안 연구

조현정 ;
황종규 ;
김용규

2008-11-13

Conference

Applying Formal Method to Train Distance Control System by Combining Zed and Statechart

2008-10-14

Conference

STUDY ON THE COMPROMISED Z & STATECHART METHOD FOR FORMAL SPECIFICATION APPLICATION IN TRAIN CONTROL SYSTEMS

2008-10-09

Conference

Formal Requirements Specification for Railway Signaling Systems

강미영 ;
황대연 ;
박준길 ;
최진영 ;
황종규

2008-09-16

Conference

RAMS Management and Assessment of Railway Signaling System through RAM and Safety Activities

2008-09-14

Article

열차제어시스템 통신 안정성 및 평가 도구 연구

김성운 ;
서상보 ;
송승미 ;
조찬효 ;
황종규 ;
... 조현정

2008-08
한국철도학회논문집
한국철도학회

Conference

도시철도시스템의 운용 및 관리를 위한 디지털 전송시스템 분석

황종규 ;
조현정 ;
양도철 ;
안태기

2008-07-16

Conference

철도신호분야의 CENELEC 규격과 다른 안전 규격들과의 관계 분석

2008-07-16

처음 이전 131415 16 17 다음

상세 보기

황종규

자료 필터

자료유형

발행연도

키워드

언어

선택된 필터

안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성

열차제어시스템 소프트웨어 Metric 분석 자동화도구 개발

열차제어 S/W 안전성 평가를 위한 절차 및 관리 방안 연구

Applying Formal Method to Train Distance Control System by Combining Zed and Statechart

STUDY ON THE COMPROMISED Z & STATECHART METHOD FOR FORMAL SPECIFICATION APPLICATION IN TRAIN CONTROL SYSTEMS

Formal Requirements Specification for Railway Signaling Systems

RAMS Management and Assessment of Railway Signaling System through RAM and Safety Activities

열차제어시스템 통신 안정성 및 평가 도구 연구

도시철도시스템의 운용 및 관리를 위한 디지털 전송시스템 분석

철도신호분야의 CENELEC 규격과 다른 안전 규격들과의 관계 분석