COURSE GUIDE
수강 정보
강좌 구분
KOCW
제공처
건국대학교
교수·강사
유준범
비용·방식
원문 확인
학습 기간
상시
— 종료일 미정
강좌 소개
모델체킹 기법을 구성하는 3요소(오토마타 모델 검증속성 모델체킹 알고리즘)를 소개한다
핵심 정보
강좌 요약
2021년 2학기
교육 대분류
공학계열
교육 중분류
컴퓨터ㆍ통신
상세 데이터
상세 데이터
강좌 소개
모델체킹 기법을 구성하는 3요소(오토마타 모델 검증속성 모델체킹 알고리즘)를 소개한다
교수·강사
유준범
등록일
2021-08-25
계속 둘러보기
같은 목록에서 다른 항목도 살펴보세요.