Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
核能儀控系統軟體模組安全功能驗證研究
核能儀控系統軟體模組安全功能驗證研究
Details
Primary Data
Project title
核能儀控系統軟體模組安全功能驗證研究
Internal ID
1012001iner013
Principal Investigator
YIH-KUEN TSAY
Start Date
February 8, 2012
End Date
December 31, 2012
Partner Organizations
Institute of Nuclear Energy Research, AEC
Description
Keywords
正規方法
安全功能
高安全系統
軟體驗證
Formal Methods
Safety Functions
Safety-Critical Systems
Software Verification