COURSE GUIDE
수강 정보
강좌 구분
KOCW
제공처
건국대학교
교수·강사
유준범
비용·방식
원문 확인
학습 기간
상시
— 종료일 미정
강좌 소개
This course introduces formal methods used to guarantee safety and reliability of safety criticalsoftware to undergraduate senior students It consists of formal specification and formalverification It looks into basic theories of several widely used ones and then confirms theirfeatures and pros cons through team projects
핵심 정보
강좌 요약
2013년 1학기
교육 대분류
공학계열
교육 중분류
컴퓨터ㆍ통신
상세 데이터
상세 데이터
강좌 소개
This course introduces formal methods used to guarantee safety and reliability of safety criticalsoftware to undergraduate senior students It consists of formal specification and formalverification It looks into basic theories of several widely used ones and then confirms theirfeatures and pros cons through team projects
교수·강사
유준범
등록일
2014-01-23
계속 둘러보기
같은 목록에서 다른 항목도 살펴보세요.