논문 상세
목록Directed Model Checking for Fast Abstract Reachability Analysis
작성자
관리자
조회수
28
등록일
2024-07-23
논문 상세정보
| 과제 | 동적/정적 SW 데이터 기반 학습을 통해 향상된 SW 오류 검출 및 위치 추정 기술 | ||||
|---|---|---|---|---|---|
| 논문명 | Directed Model Checking for Fast Abstract Reachability Analysis | ||||
| 성과고유번호 | JNL-2021-00112129550 | 성과발생연도 | 2021 | 국내외구분 | |
| 학술지구분 | 학술지유형 | SCIE | |||
| 논문초록 | |||||
| 주저자 | Lee, Nakwon | 소속기관명 | 한국과학기술원 | 기여율 | 14.29 % |
| 공동저자 | |||||
학술지
| 학술지명 | IEEE ACCESS | 권(호) | 9 (0) | 시작페이지 | 158738 | ||
|---|---|---|---|---|---|---|---|
| DOI | 10.1109/ACCESS.2021.3130569 | ISSN | ISBN | ||||
| 최초등록 | 관리자, 2024-07-23 PM 04시 07분 | 최종수정 | 관리자, 2024-10-24 PM 01시 32분 | ||||
논문 원문