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