Formal specification and verification of microelectronics systems

微电子系统的形式化规范和验证

基本信息

  • 批准号:
    194302-2001
  • 负责人:
  • 金额:
    $ 1.97万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2002
  • 资助国家:
    加拿大
  • 起止时间:
    2002-01-01 至 2003-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
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Engage Grants Program
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2014
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2013
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2012
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    396095-2010
  • 财政年份:
    2012
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    396095-2010
  • 财政年份:
    2011
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2011
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    194302-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Medical Grade Universal Smart Battery Charger and Power Supply
医疗级通用智能电池充电器和电源
  • 批准号:
    397927-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Engage Grants Program
Formal verification of physical systems and devices
物理系统和设备的形式验证
  • 批准号:
    396095-2010
  • 财政年份:
    2010
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements

相似国自然基金

拓扑动力系统中的重分形分析
  • 批准号:
    11671208
  • 批准年份:
    2016
  • 资助金额:
    48.0 万元
  • 项目类别:
    面上项目

相似海外基金

Formal Specification and Verification of the Safe Interaction between Humans and Industrial Robots
人与工业机器人安全交互的形式规范和验证
  • 批准号:
    2496876
  • 财政年份:
    2021
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Studentship
I-Corps: Formal Specification Driven Verification and Validation Framework for Cyber-Physical Systems
I-Corps:网络物理系统的正式规范驱动的验证和确认框架
  • 批准号:
    1454143
  • 财政年份:
    2014
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Standard Grant
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2007
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
CT-T: Practical Formal Verification By Specification Extraction
CT-T:通过规范提取进行实用形式验证
  • 批准号:
    0716478
  • 财政年份:
    2007
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Standard Grant
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2006
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Research on Formal Specification-Based Program Testing
基于形式化规范的程序测试研究
  • 批准号:
    18500027
  • 财政年份:
    2006
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2005
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Practical advances in interface specification languages and tools for extended static checking and formal verification
用于扩展静态检查和形式验证的接口规范语言和工具的实际进展
  • 批准号:
    261573-2003
  • 财政年份:
    2004
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Formal specification and verification of microelectronics systems
微电子系统的形式化规范和验证
  • 批准号:
    194302-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
Formal specification and verification of microelectronics systems
微电子系统的形式化规范和验证
  • 批准号:
    194302-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 1.97万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了