Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

2008.06a
/
Pages.68-69
/
2008
/
1598-5164(pISSN)

Korean Institute of Information Scientists and Engineers (한국정보과학회)

권호 표지

A Formal Verification Technique for PLC programs Implemented by Function Block Diagrams

함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형검증

Jee, Eun-Kyoung (Division of Computer Science, KAIST) ;
Jeon, Seung-Jae (Division of Visual Display, Samsung Electronics Co. Ltd.) ;
Cha, Sung-Deok (Department of Computer Science and Engineering, Korea University)

지은경 (KAIST 전자전산학과 전산학) ;
전승재 (삼성전자 영상디스플레이사업부) ;
차성덕 (고려대학교 정보통신대학 컴퓨터.통신공학부)

Published : 2008.06.30

PDF

⟨ Previous Next ⟩

Abstract

Keywords