刷新
{{item.name}}会员
Multilevel Modeling, Formal Analysis, and Characterization of Soft Errors in Digital Systems
数字系统中软错误的多级建模、形式分析和表征
基本信息
- 批准号：474935-2015
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2016
- 资助国家：加拿大
- 起止时间：2016-01-01 至 2017-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
BanyHamad, GhaithMohammadAli其他文献
BanyHamad, GhaithMohammadAli的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('BanyHamad, GhaithMohammadAli', 18)}}的其他基金
High-Level Reliability Analysis of Critical Cyber-Physical Systems
关键信息物理系统的高级可靠性分析
- 批准号：
516891-2018 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Postdoctoral Fellowships
High-Level Reliability Analysis of Critical Cyber-Physical Systems
关键信息物理系统的高级可靠性分析
- 批准号：
516891-2018 - 财政年份：2018
- 资助金额：
$ 1.53万 - 项目类别：
Postdoctoral Fellowships
Multilevel Modeling, Formal Analysis, and Characterization of Soft Errors in Digital Systems
数字系统中软错误的多级建模、形式分析和表征
- 批准号：
474935-2015 - 财政年份：2015
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
相似国自然基金
Galaxy Analytical Modeling
Evolution (GAME) and cosmological
hydrodynamic simulations.
- 批准号：
- 批准年份：2025
- 资助金额：10.0 万元
- 项目类别：省市级项目
相似海外基金
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究：SaTC：核心：中：迈向安全、私密和可靠的家庭自动化：从形式建模到用户评估
- 批准号：
2320903 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Assessing the Impacts of Social Categorization on Person Perception and Behavior: A Formal Modeling Approach
评估社会分类对人的感知和行为的影响：正式的建模方法
- 批准号：
2215236 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Formal statistical tools for the dependence modeling of environmental data
用于环境数据依赖性建模的正式统计工具
- 批准号：
RGPIN-2019-06854 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究：SaTC：核心：中：迈向安全、私密和可靠的家庭自动化：从形式建模到用户评估
- 批准号：
2114074 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Collaborative Research: SaTC: CORE: Medium: Toward safe, private, and secure home automation: from formal modeling to user evaluation
协作研究：SaTC：核心：中：迈向安全、私密和可靠的家庭自动化：从形式建模到用户评估
- 批准号：
2114148 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Formal statistical tools for the dependence modeling of environmental data
用于环境数据依赖性建模的正式统计工具
- 批准号：
RGPIN-2019-06854 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Formal statistical tools for the dependence modeling of environmental data
用于环境数据依赖性建模的正式统计工具
- 批准号：
RGPIN-2019-06854 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Formal statistical tools for the dependence modeling of environmental data
用于环境数据依赖性建模的正式统计工具
- 批准号：
RGPIN-2019-06854 - 财政年份：2019
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
- 批准号：
RGPIN-2015-05607 - 财政年份：2018
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual