Analysis of the Formal Specification Application for Train Control Systems

Hyun-Jeong Jo ,  Yong-Ki Yoon ,  Jong-Gyu Hwang

Journal of Electrical Engineering & Technology

2009 .03

Towards Better Specifications

Yeung Wai Suen

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

반응형 실시간 소프트웨어를 명세하고 분석하기 위한 기법

오윤주 ,  조재명 ,  유준범 외 1명

한국정보과학회 학술발표논문집

2002 .10

The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems

Hyun-Jeong Jo ,  Jong-Gyu Hwang ,  Yong-Ki Yoon

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2007 .07

Automating Deep Learning Generation

Incheon Paik

대한전자공학회 학술대회

2018 .06

열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석

조현정 ,  황종규 ,  윤용기

한국철도학회 학술발표대회논문집

2007 .05

A PATTERN DESCRIPTION AND GENERATION METHOD BY COMPOSITION

SIN TAE SONG

ICEIC : International Conference on Electronics, Informations and Communications

1991 .08

A High - Level Test Generation for Asynchronous Circuits Based on Specifications

Eunjung Oh ,  Soo-Hyun Kim ,  Dong-Ik Lee 외 1명

대한전자공학회 기타 간행물

2001 .11

보안기능의 정형화 설계

유희준 ,  최진영 ,  서동수 외 2명

정보보호학회지

2000 .09

An Empirical Evaluation of Test Data Generation Techniques

Seung-Hee Han ,  Yong-Rae Kwon

Journal of Computing Science and Engineering

2008 .09

Logical Formal Description of Expert Systems. Preliminary Results

M. de la Sen ,  J. J. Minamb ,  es

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법

신숙경 ,  이종국 ,  김수동

정보과학회논문지 : 소프트웨어 및 응용

2004 .07

SDL ( Specification & Description Language ) 를 이용한 통신 시스템 소프트웨어의 개발 ( A Communication System Software Developments of Using SDL ( Specification & Description Language ) )

최기무 ,  권상훈 ,  강환종 외 1명

대한전자공학회 학술대회

1998 .01

SDL ( Specification & Description Language ) 를 이용한 통신 시스템 소프트웨어의 개발 ( A Communication System Software Developments of using SDL ( Specification & Description Language ) )

최기무 ,  권상훈 ,  강환종 외 1명

한국통신학회 학술대회논문집

1998 .01

LAPD프로토콜의 Formal Description ( The Formal Description of LAPD Protocol )

한운영 ,  한치문 ,  최양희 외 2명

대한전자공학회 학술대회

1986 .01

LAPD 프로토콜의 Formal Description

한운영 ,  한치문 ,  최양희 외 2명

대한전자공학회 학술대회

1986 .06

기계설비분야 시방서의 국내 기준과 해외 기준 비교

전준용 ,  성순경

대한설비공학회 학술발표대회논문집

2015 .06

Efficient Process Generation from State Transition Based Telecommunication Service Specifications

Keizo Kawata ,  Yutaka Hi ,  akawa

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1992 .01

SDL(Specification & Description Language)를 이용한 통신 소프트웨어의 재사용성에 관한 연구

권상훈 ,  강환종 ,  홍필오 외 1명

한국통신학회 학술대회논문집

1997 .11