Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms

Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms

碩士 === 國立成功大學 === 電機工程學系 === 107

Bibliographic Details
Main Authors: Yen-TingLiu, 劉彥廷
Other Authors: Yean-Ru Chen
Format: Others
Language:zh-TW
Published: 2019
Online Access:http://ndltd.ncl.edu.tw/handle/m62h3h
id ndltd-TW-107NCKU5442032
record_format oai_dc
spelling ndltd-TW-107NCKU54420322019-10-25T05:24:18Z http://ndltd.ncl.edu.tw/handle/m62h3h Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms 針對具防範與容錯機制之安全攸關系統的實例分析與正規驗證 Yen-TingLiu 劉彥廷 碩士 國立成功大學 電機工程學系 107 Yean-Ru Chen 陳盈如 2019 學位論文 ; thesis 86 zh-TW
collection NDLTD
language zh-TW
format Others
sources NDLTD
description 碩士 === 國立成功大學 === 電機工程學系 === 107
author2 Yean-Ru Chen
author_facet Yean-Ru Chen
Yen-TingLiu
劉彥廷
author Yen-TingLiu
劉彥廷
spellingShingle Yen-TingLiu
劉彥廷
Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms
author_sort Yen-TingLiu
title Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms
title_short Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms
title_full Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms
title_fullStr Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms
title_full_unstemmed Formal Verification and Case Study of Safety-Critical Systems with Prevention and Fault-Tolerable Mechanisms
title_sort formal verification and case study of safety-critical systems with prevention and fault-tolerable mechanisms
publishDate 2019
url http://ndltd.ncl.edu.tw/handle/m62h3h
work_keys_str_mv AT yentingliu formalverificationandcasestudyofsafetycriticalsystemswithpreventionandfaulttolerablemechanisms
AT liúyàntíng formalverificationandcasestudyofsafetycriticalsystemswithpreventionandfaulttolerablemechanisms
AT yentingliu zhēnduìjùfángfànyǔróngcuòjīzhìzhīānquányōuguānxìtǒngdeshílìfēnxīyǔzhèngguīyànzhèng
AT liúyàntíng zhēnduìjùfángfànyǔróngcuòjīzhìzhīānquányōuguānxìtǒngdeshílìfēnxīyǔzhèngguīyànzhèng
_version_ 1719277904771153920

Similar Items