논문 상세
목록Directed Model Checking for Fast Abstract Reachability Analysis
작성자
관리자
조회수
37
등록일
2024-07-23
논문 상세정보
| 과제 | (3세부) Cloud, Edge, Car 3-Tier 연계 인지/판단/제어 SW 및 공통 SW 플랫폼 기술 개발 | ||||
|---|---|---|---|---|---|
| 논문명 | Directed Model Checking for Fast Abstract Reachability Analysis | ||||
| 성과고유번호 | JNL-2021-00111969769 | 성과발생연도 | 2021 | 국내외구분 | |
| 학술지구분 | 학술지유형 | SCIE | |||
| 논문초록 | |||||
| 주저자 | Lee, Nakwon | 소속기관명 | (주)알티스트 | 기여율 | 14.29 % |
| 공동저자 | |||||
학술지
| 학술지명 | IEEE ACCESS | 권(호) | 9 (0) | 시작페이지 | 158738 | ||
|---|---|---|---|---|---|---|---|
| DOI | 10.1109/ACCESS.2021.3130569 | ISSN | ISBN | ||||
| 최초등록 | 관리자, 2024-07-23 PM 04시 16분 | 최종수정 | 관리자, 2024-10-24 PM 01시 38분 | ||||
논문 원문