원문정보
Feasibility of Mechanizing Arm Firmware Framework Specification
피인용수 : 0건 (자료제공 : 네이버학술정보)
목차
Ⅰ. 서론
1. 연구의 배경
2. 연구의 목적
3. 연구의 범위
Ⅱ. 본론
1. Arm 펌웨어 프레임워크
2. 증명 보조 도구 (Coq)
3. Coq을 활용한 명세 기계화
Ⅲ. 결론
ACKNOWLEDGEMENT
참고문헌
1. 연구의 배경
2. 연구의 목적
3. 연구의 범위
Ⅱ. 본론
1. Arm 펌웨어 프레임워크
2. 증명 보조 도구 (Coq)
3. Coq을 활용한 명세 기계화
Ⅲ. 결론
ACKNOWLEDGEMENT
참고문헌
저자정보
참고문헌
자료제공 : 네이버학술정보