High-Level Reliability Analysis of Critical Cyber-Physical Systems
High-Level Reliability Analysis of Critical Cyber-Physical Systems
关键信息物理系统的高级可靠性分析
批准号：
516891-2018
负责人：
BanyHamad, GhaithMohammadAli
金额：
$3.28万
依托单位：
依托单位国家：
加拿大
项目类别：
Postdoctoral Fellowships
财政年份：
2018
资助国家：
加拿大
项目状态：
已结题
起止时间：
2018-01-01 至 2019-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Critical Cyber-Physical Systems, Cross-layer and Reliability Analysis, System-Level Design and Synthesis, Formal Verification Methods, Cost-Effective Hardware Mitigation, nano-scale technology, Soft Errors Induced by Radiations, Multilevel Reliability Analysis, Analog and Mixed-Signal Design
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
High-Level Reliability Analysis of Critical Cyber-Physical Systems
-
批准号：516891-2018
-
项目类别：Postdoctoral Fellowships
-
资助金额：$3.28万
-
财政年份：2019
-
负责人：BanyHamad, GhaithMohammadAli
-
依托单位：
Multilevel Modeling, Formal Analysis, and Characterization of Soft Errors in Digital Systems
-
批准号：474935-2015
-
项目类别：Postgraduate Scholarships - Doctoral
-
资助金额：$1.53万
-
财政年份：2016
-
负责人：BanyHamad, GhaithMohammadAli
-
依托单位：
Multilevel Modeling, Formal Analysis, and Characterization of Soft Errors in Digital Systems
-
批准号：474935-2015
-
项目类别：Postgraduate Scholarships - Doctoral
-
资助金额：$1.53万
-
财政年份：2015
-
负责人：BanyHamad, GhaithMohammadAli
-
依托单位：
海外基金
