刷新
{{item.name}}会员
Software Specification, Testing And Verification
软件规格、测试和验证
基本信息
- 批准号：CRC-2020-00308
- 负责人：
- 金额：$ 7.29万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Canada Research Chairs
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-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 }}
Hallé, Sylvain其他文献
Hallé, Sylvain的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hallé, Sylvain', 18)}}的其他基金
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
- 批准号：
RGPIN-2016-05626 - 财政年份：2022
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
CRC-2020-00308 - 财政年份：2022
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
- 批准号：
RGPIN-2016-05626 - 财政年份：2021
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
- 批准号：
RGPIN-2016-05626 - 财政年份：2020
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2020
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Veille de vulnérabilités et menaces sur les objets connectés
连接对象的漏洞和威胁
- 批准号：
543439-2019 - 财政年份：2019
- 资助金额：
$ 7.29万 - 项目类别：
Engage Grants Program
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2019
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
- 批准号：
RGPIN-2016-05626 - 财政年份：2019
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual
Enriching system models and verdicts for testing and verification of software systems
丰富系统模型和判决，用于软件系统的测试和验证
- 批准号：
RGPIN-2016-05626 - 财政年份：2018
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2018
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
相似海外基金
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
CRC-2020-00308 - 财政年份：2022
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2020
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
- 批准号：
515254-2017 - 财政年份：2019
- 资助金额：
$ 7.29万 - 项目类别：
Collaborative Research and Development Grants
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2019
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2018
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
- 批准号：
515254-2017 - 财政年份：2018
- 资助金额：
$ 7.29万 - 项目类别：
Collaborative Research and Development Grants
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2017
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2016
- 资助金额：
$ 7.29万 - 项目类别：
Canada Research Chairs
Software functional requirements specification decomposition: architectural design and system-testing driven approaches
软件功能需求规范分解：架构设计和系统测试驱动方法
- 批准号：
227806-2004 - 财政年份：2008
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual
Software functional requirements specification decomposition: architectural design and system-testing driven approaches
软件功能需求规范分解：架构设计和系统测试驱动方法
- 批准号：
227806-2004 - 财政年份：2007
- 资助金额：
$ 7.29万 - 项目类别：
Discovery Grants Program - Individual