2008년 추계 학술대회
Current Result Document : 24 / 24
| 한글제목(Korean Title) |
FBD 및 LD로 구현된 XML기반 PLC프로그램에 대한 정형검증 |
| 영문제목(English Title) |
Formal verification of XML based PLC program implemented with FBD and LD |
| 저자(Author) |
김병완
지은경
차성덕
Byongwan Kim
Eunkyoung Jee
Sungdeok Cha
|
| 원문수록처(Citation) |
VOL 35 NO. 02(A) PP. 0063 ~ 0064 (2008. 10) |
한글내용
(Korean Abstract) |
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
소프트웨어공학
|
| 파일첨부 |
PDF 다운로드
|
