논문상세정보
-
- 저자 김동우 ( Dongwoo Kim ) 최윤자 ( Yunja Choi )
- 제어번호 105922308
- 학술지명 정보과학회논문지
- 권호사항 Vol. 45 No. 12 [ 2018 ]
- 발행처 Korean Institute of Information Scientists and Engineers
- 발행처 URL http://www.kiise.or.kr
- 자료유형 학술저널
- 수록면 1269-1278 ( 10쪽)
- 언어 Korean
- 출판년도 2018
- KDC 569
- 등재정보 KCI등재
- 소장기관 영남대학교 과학도서관
- 판매처 누리미디어
- 주제어 API 호출 제약사항 검증 API-call constraint checking IoT system API formal verification 정형 검증
