刷新
{{item.name}}会员
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
基本信息
- 批准号：RGPIN-2016-03897
- 负责人：
- 金额：$ 1.6万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2017
- 资助国家：加拿大
- 起止时间：2017-01-01 至 2018-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Summary
总结
项目成果
期刊论文数量（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 }}
Ural, Hasan其他文献
Ural, Hasan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ural, Hasan', 18)}}的其他基金
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2019
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2018
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2016
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2013
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2012
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2011
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2010
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2009
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Validation and synthesis of distributed systems
分布式系统的验证和综合
- 批准号：
976-2003 - 财政年份：2008
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
Validation and synthesis of distributed systems
分布式系统的验证和综合
- 批准号：
976-2003 - 财政年份：2006
- 资助金额：
$ 1.6万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Lagrangian origin of geometric approaches to scattering amplitudes
- 批准号：24ZR1450600
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
相似海外基金
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究：BoCP-实施：高山植物作为变暖世界中生物多样性动态的模型系统：整合遗传、功能和社区方法
- 批准号：
2326020 - 财政年份：2024
- 资助金额：
$ 1.6万 - 项目类别：
Continuing Grant
Collaborative Research: BoCP-Implementation: Alpine plants as a model system for biodiversity dynamics in a warming world: Integrating genetic, functional, and community approaches
合作研究：BoCP-实施：高山植物作为变暖世界中生物多样性动态的模型系统：整合遗传、功能和社区方法
- 批准号：
2326021 - 财政年份：2024
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
Integrating universal and tailored approaches across the continuum of mental health and substance use supports: Supporting the implementation and coordination of the Icelandic Prevention Model and Integrated Youth Services
在心理健康和药物滥用支持的连续过程中整合通用和量身定制的方法：支持冰岛预防模式和综合青年服务的实施和协调
- 批准号：
477940 - 财政年份：2024
- 资助金额：
$ 1.6万 - 项目类别：
Salary Programs
CAREER: New data integration approaches for efficient and robust meta-estimation, model fusion and transfer learning
职业：新的数据集成方法，用于高效、稳健的元估计、模型融合和迁移学习
- 批准号：
2337943 - 财政年份：2024
- 资助金额：
$ 1.6万 - 项目类别：
Continuing Grant
Model-Based and Design-Based Approaches to Longitudinal Causal Decomposition Analysis
基于模型和设计的纵向因果分解分析方法
- 批准号：
2243119 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Standard Grant
Development of approaches to apply CRISPR/Cas9-mediated gene conversion to model complex genetic traits in mice
开发应用 CRISPR/Cas9 介导的基因转换来模拟小鼠复杂遗传性状的方法
- 批准号：
10565297 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Towards climate-Positive cRopping: developing mOdel-based approaches to idenTify pathways, and EvidenCe benefiTs (PROTECT)
实现对气候有利的种植：开发基于模型的方法来确定路径和证据效益（保护）
- 批准号：
2894158 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Studentship
Complex Systems Approaches to Advance Maternal Health Disparities Research and Prevention: Developing a System Dynamics Simulation Model of Severe Maternal Morbidity among Black Women
促进孕产妇健康差异研究和预防的复杂系统方法：开发黑人妇女严重孕产妇发病率的系统动力学模拟模型
- 批准号：
10658690 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
AI and Ensemble approaches to model transient lipid deterioration in particulate food systems
人工智能和集成方法模拟颗粒食品系统中的瞬时脂质恶化
- 批准号：
2885044 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Studentship
AI and Ensemble approaches to model transient lipid deterioration in particulate food systems
人工智能和集成方法模拟颗粒食品系统中的瞬时脂质恶化
- 批准号：
BB/X512114/1 - 财政年份：2023
- 资助金额：
$ 1.6万 - 项目类别：
Training Grant