ScholarWorks@한국철도기술연구원

상세 보기

Formal Requirements Specification in Safety-critical Railway Signaling System

초록

철도시스템을 위한 정형명세 기법에 의한 요구사양서 작성 방법 및 적용결과 설명

제목
Formal Requirements Specification in Safety-critical Railway Signaling System
저자
조현정; 황종규; 윤용기
발행일
2009-11-23
학회명
IEEE T&D 2009

ScholarWorks@한국철도기술연구원

우(16105) 경기도 의왕시 철도박물관로 176 한국철도기술연구원 Tel. 031-460-5000 Fax. 031-460-5159

COPYRIGHT © 한국철도기술연구원 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.