현재 위치
Home
특별 Session A-9 : YSC위원회
Arm 펌웨어 프레임워크 명세 기계화 가능성
Feasibility of Mechanizing Arm Firmware Framework Specification
-
- 발행기관
- 한국ITS학회 바로가기
-
- 간행물
- 한국ITS학회 학술대회 바로가기
-
- 통권
- 한국ITS학회 2024년도 춘계학술대회 (2024.04)바로가기
-
- 페이지
- pp.11-13
-
- 저자
-
- 언어
- 한국어(KOR)
-
- URL
- https://www.earticle.net/Article/A445687
※ 기관로그인 시 무료 이용이 가능합니다.
※ 학술발표대회집, 워크숍 자료집 중 4페이지 이내 논문은 '요약'만 제공되는 경우가 있으니, 구매 전에 간행물명, 페이지 수 확인 부탁 드립니다.
3,000원
원문정보
목차
Ⅰ. 서론
1. 연구의 배경
2. 연구의 목적
3. 연구의 범위
Ⅱ. 본론
1. Arm 펌웨어 프레임워크
2. 증명 보조 도구 (Coq)
3. Coq을 활용한 명세 기계화
Ⅲ. 결론
ACKNOWLEDGEMENT
참고문헌
키워드
Arm 펌웨어 프레임워크 소프트웨어 명세저자
간행물 정보
발행기관
-
- 발행기관명
- 한국ITS학회 [The Korean Society of Intelligent Transport Systems]
- 설립연도
- 2002
- 분야
- 공학>교통공학
- 소개
- ◈ 전문분야간 공동협의, 공동연구를 통한 ITS의 학술적 발전 ◈ 산·학·연 협동체계 구축으로 기술개발 지원 ◈ 정부정책 및 제도 방향에 대한 기술적 자문 ◈ 외국 ITS 관련 학술단체와 기술교류 ◈ 관련전문가 및 기술자의 교육 및 양성
간행물
-
- 간행물명
- 한국ITS학회 학술대회
- 간기
- 반년간
- 수록기간
- 2002~2026
- 십진분류
- KDC 326 DDC 338
이 권호 내 다른 논문 / 한국ITS학회 학술대회 한국ITS학회 2024년도 춘계학술대회
피인용수 : 0건 (자료제공 : 네이버학술정보)
함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.
출처 : 네이버학술정보
0개의 논문이 장바구니에 담겼습니다.