한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
- /
- Pages.68-69
- /
- 2008
- /
- 1598-5164(pISSN)
함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형검증
A Formal Verification Technique for PLC programs Implemented by Function Block Diagrams
- 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)
- 발행 : 2008.06.30