1 |
국외 |
“Developing CBTC Software Using Model-Driven Development Approach”
|
WCRR2008 |
|
2008-03-01 |
바로가기 |
2 |
국내 |
안전성 확보를 위한 위험원 분석 기법간 상관관계에 대한 연구 |
한국철도학회 추계학술대회(2007) |
|
2007-11-01 |
바로가기 |
3 |
국외 |
Investigation of risk analysis methods for safety assurance in the train control system |
ICEMS2007 |
|
2007-10-01 |
바로가기 |
4 |
국내 |
열차제어시스템 바이탈 소프트웨어 안전성 평가를 위한 테스트 도구의 검토 |
대한전기학회 추계학술대회 |
|
2007-10-01 |
바로가기 |
5 |
국내 |
ERTMS/ETCS 기반의 CBTC 시스템 기본설계 |
한국철도학회 추계학술대회(2007) |
|
2007-11-01 |
바로가기 |
6 |
국내 |
열차제어 시스템소프트웨어의 안전성 평가기법 |
한국철도학회 춘계학술대회 |
|
2007-05-01 |
바로가기 |
7 |
국내 |
Safety Case 문서를 기반한 열차제어시스템 안전성 평가방법 분석 |
한국철도학회 춘계학술대회 |
|
2007-05-01 |
바로가기 |
8 |
국내 |
열차제어시스템 안전성 평가기술 및 정형기법 적용방안 분석 |
건교부 연구성과포럼 |
|
2007-05-01 |
바로가기 |
9 |
국외 |
The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems |
ITC-CSCC2007 |
|
2007-07-01 |
바로가기 |
10 |
국내 |
열차제어시스템의 위험도 평가를 위한 적용 방법 분석 |
대한전기학회 하계학술대회 |
|
2007-07-01 |
바로가기 |