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
Description
Summary:碩士 === 國立成功大學 === 電機工程學系 === 107

Similar Items