Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2008.06a
- /
- Pages.68-69
- /
- 2008
- /
- 1598-5164(pISSN)
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)
- Published : 2008.06.30
Abstract
Keywords