본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

고급검색

인명/단체명

저자정보 상세정보
인명/단체명을 입력하세요.

키워드

  • 대표어

  • 외국어

-

목차보기

목차

스마트 컨트랙트 안전성 자동 검증 / 소순범 ; 이명호 ; 오학주 1

1. 서론 1

2. batchOverflow 사례 1

3. 기존 스마트 컨트랙트 검증 도구들의 한계 2

3.1. 버그 탐지기 2

3.2. 안전성 검증기 2

4. 현재 수행 중인 연구 3

5. 결론 4

참고문헌 4

약력 4

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
스마트 컨트랙트 안전성 자동 검증 소순범, 이명호, 오학주 p.8-12

보기
높은 표현력을 가진 객체지향언어에서의 대칭적 다중 선택 홍재민, 류석영 p.13-19

보기
점진적 타이핑 연구 동향 및 사례 분석 임현승 p.20-28

보기
하스켈을 주피터 노트북을 통해 컴퓨터 과학 이론 교육에 활용한 경험 보고 안기영 p.29-39

보기
확률 모델을 이용한 프로그램 자동 생성 가속화 이우석 p.40-47

보기
간단하고 효율적인 ARM/RISC-V 동시성 모델 이성환, 허충길 p.48-53

보기

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차

권호

기사명 원문보기 기사목차
닫기