ETRI-Knowledge Sharing Plaform

KOREAN

BROWSE

Titles

Home Titles Articles
논문 검색
Type SCI
Year ~ Keyword

Detail

List
Conference Paper Formal Verification of DEV&DESS Formalism using Symbolic Model Checker HyTech
Cited - time in scopus Share share facebook twitter linkedin kakaostory
Authors
Han Choi, Sungdeok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Won-Tae Kim
Issue Date
2011-12
Citation
Control and Automation, and Energy System Engineering (CES3) 2011, pp.112-121
Language
English
Type
Conference Paper
KSP Keywords
Formal verification, Model checker, Symbolic model
Copyright Policy Privacy Policy

218 Gajeong-ro, Yuseong-gu, Daejeon, 34129, KOREA, Contact: sh.kim@etri.re.kr

2016 Electronics and Telecommunications Research Institute. All rights reserved.

Please refrain from automatic collection of e-mail addresses posted on this homepage.

제1유형