지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Comparison of Number’s Puzzle using NuSMV and SAT Solver
한국정보과학회 학술발표논문집
2016 .06
An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2016 .06
구조적 성질을 활용한 심층신경망의 정형검증 기법
한국정보과학회 학술발표논문집
2020 .07
항법 시스템 검증 환경 구축을 위한 프로토콜 변환장치 개발
한국항공우주학회 학술발표회 초록집
2022 .04
통계적 분석 기반 비공개 프로토콜의 구분자 및 정적필드 추출 방법
한국통신학회논문지
2019 .05
Research and Development of Wireless Protocol Automatic Analyzer
Journal of KIISE
2019 .08
심층신경망의 정형검증 기법 소개
정보과학회지
2020 .04
정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구
정보보호학회논문지
2019 .08
알려지지 않은 프로토콜의 보안성 분석
한국정보과학회 학술발표논문집
2019 .12
5G 네트워크를 이용한 V2X 영상 전송 프로토콜
한국통신학회 학술대회논문집
2019 .11
엄밀한 검증을 통한 격리
정보과학회지
2020 .03
비공개 프로토콜 분류를 위한 특징 추출 알고리즘 비교 연구
한국인터넷방송통신학회 논문지
2019 .01
Formal Model Design for Network and Operating System Behaviors in Real-time Distributed System Verification with Coq
Journal of KIISE
2020 .11
메타버스 환경에서의 프로토콜 분석 연구
한국컴퓨터정보학회 학술발표논문집
2022 .07
네트워크 프로토콜에 대한 역공학을 통한 상태추론
한국통신학회논문지
2019 .08
Design of Analyzing Protocol-level Security Model in 6G
대한전자공학회 학술대회
2023 .06
서비스별 네트워크 프로토콜 유형 및 그 영향력 분석
한국통신학회 학술대회논문집
2024 .06
MESIF 캐시 일관성 프로토콜 정형검증
한국정보과학회 학술발표논문집
2015 .06
정형 검증을 통한 동시성 소프트웨어의 추상화 명세 제공
정보과학회지
2023 .06
지역사회 장애인 건강코칭 프로토콜 타당성 검증
대한인간공학회 학술대회논문집
2023 .05
0