ETRI-Knowledge Sharing Plaform

ENGLISH

BROWSE

성과물

Home 성과물 논문

논문 검색
구분		SCI
연도	~	키워드

상세정보

목록

학술대회 Formal Verification of DEV&DESS Formalism using Symbolic Model Checker HyTech

Cited - time in scopus

scopus

Download 0 time Share share

저자: Han Choi, Sungdeok Cha, Jae Yeon Jo, Junbeom Yoo, 이해영, 김원태

발행일: 201112

출처: Control and Automation, and Energy System Engineering (CES3) 2011, pp.112-121

협약과제: 11MS1900, 고신뢰 자율제어 SW를 위한 CPS핵심기술 개발, 김원태

KSP 제안 키워드: Formal Verification, Model checker, Symbolic model

저작권정책

ETRI

(34129) 대전광역시 유성구 가정로 218, ETRI 대표 문의처: TEL 1466-38(6자리) / KSP 오류, 불편접수: TEL 042-860-6981

2016 Electronics and Telecommunications Research Institute. All rights reserved.

본 홈페이지는 게시된 이메일 주소가 자동수집되는 것을 거부하며, 이를 위반시 정보통신망법에 의해 처벌됨을 유념하시기 바랍니다.