Formal verification of physical systems and devices

物理系统和设备的形式验证

基本信息

  • 批准号:
    396095-2010
  • 负责人:
  • 金额:
    $ 2.91万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
  • 财政年份:
    2012
  • 资助国家:
    加拿大
  • 起止时间:
    2012-01-01 至 2013-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 }}

Tahar, Sofiène其他文献

Tahar, Sofiène的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Tahar, Sofiène', 18)}}的其他基金

System safety assessment for IMA architectures using formal methods
使用形式化方法对 IMA 架构进行系统安全评估
  • 批准号:
    492772-2015
  • 财政年份:
    2016
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Engage Grants Program
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2014
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2013
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2012
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    396095-2010
  • 财政年份:
    2011
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2011
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Medical Grade Universal Smart Battery Charger and Power Supply
医疗级通用智能电池充电器和电源
  • 批准号:
    397927-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Engage Grants Program
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    396095-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
Modeling and verification of heterogeneous microsystems
异构微系统的建模与验证
  • 批准号:
    194302-2005
  • 财政年份:
    2009
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Formal Verification of Physical Systems
物理系统的形式验证
  • 批准号:
    RGPIN-2020-05545
  • 财政年份:
    2022
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Formal Foundations for Verification of Physical and Probabilistic Systems
物理和概率系统验证的形式基础
  • 批准号:
    22H00520
  • 财政年份:
    2022
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
Formal Verification of Physical Systems
物理系统的形式验证
  • 批准号:
    RGPIN-2020-05545
  • 财政年份:
    2021
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Formal Verification of Physical Systems
物理系统的形式验证
  • 批准号:
    RGPIN-2020-05545
  • 财政年份:
    2020
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
SHF: Small: Scalable Formal Verification of ANN controlled Cyber-Physical Systems
SHF:小型:ANN 控制的网络物理系统的可扩展形式验证
  • 批准号:
    2008957
  • 财政年份:
    2020
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Standard Grant
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2019
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2018
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Quantitative Verification of Cyber-Physical Systems by Integrating Statistical and Formal Approaches
通过整合统计和形式方法对网络物理系统进行定量验证
  • 批准号:
    17K12667
  • 财政年份:
    2017
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2017
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2016
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了