刷新
{{item.name}}会员
Validation and synthesis of distributed systems
分布式系统的验证和综合
基本信息
- 批准号：976-2003
- 负责人：
- 金额：$ 3.13万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2006
- 资助国家：加拿大
- 起止时间：2006-01-01 至 2007-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 }}
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
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2018
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2017
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal Approaches to Model Based Testing
基于模型的测试的正式方法
- 批准号：
RGPIN-2016-03897 - 财政年份：2016
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2013
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2012
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2011
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2010
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for testing state-based systems
测试基于状态的系统的形式化方法
- 批准号：
976-2009 - 财政年份：2009
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Validation and synthesis of distributed systems
分布式系统的验证和综合
- 批准号：
976-2003 - 财政年份：2008
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
胆固醇合成蛋白CYP51介导线粒体通透性转换诱发Th17/Treg细胞稳态失衡在舍格伦综合征中的作用机制研究
- 批准号：82370976
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
“肠—肝轴”PPARα/CYP8B1胆汁酸合成信号通路在减重手术改善糖脂代谢中的作用与机制
- 批准号：82370902
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
lncGEI诱导湖羊卵巢颗粒细胞E2合成的分子机制
- 批准号：32372856
- 批准年份：2023
- 资助金额：50.00 万元
- 项目类别：面上项目
脂肪酸合成通过GDF15/IRS2介导胰岛素抵抗促进血管内皮细胞活化导致脓毒症肺损伤的机制研究
- 批准号：82372203
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
环状RNA circ-PRKAA1调控肝癌细胞脂代谢重编程的研究
- 批准号：32000527
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
ALDH6A1缺损重塑糖脂代谢促进肝细胞癌发生的机制研究
- 批准号：91957109
- 批准年份：2019
- 资助金额：79.0 万元
- 项目类别：重大研究计划
新型滤波器综合技术-直接综合技术(Direct synthesis Technique)的研究及应用
- 批准号：61671111
- 批准年份：2016
- 资助金额：58.0 万元
- 项目类别：面上项目
双硅化合物反应及天然产物合成应用研究
- 批准号：21172150
- 批准年份：2011
- 资助金额：60.0 万元
- 项目类别：面上项目
新型M4受体选择性拮抗剂的研究
- 批准号：30973615
- 批准年份：2009
- 资助金额：32.0 万元
- 项目类别：面上项目
基于penicillide结构的类天然产物合成及其胆固醇酯转运蛋白抑制的研究
- 批准号：20872019
- 批准年份：2008
- 资助金额：32.0 万元
- 项目类别：面上项目
相似海外基金
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号：
RGPIN-2019-04354 - 财政年份：2022
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2022
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
EFRI DCheM: Distributed solar energy harvesting for carbon-free ammonia synthesis
EFRI DCheM：用于无碳氨合成的分布式太阳能收集
- 批准号：
2131709 - 财政年份：2021
- 资助金额：
$ 3.13万 - 项目类别：
Standard Grant
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号：
RGPIN-2019-04354 - 财政年份：2021
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
EFRI DCheM: Re-Engineering the Nitrogen Cycle: Distributed Electrochemical Nitrogen Refineries for Ammonia Synthesis and Water Purification
EFRI DCheM：重新设计氮循环：用于氨合成和水净化的分布式电化学氮精炼厂
- 批准号：
2132007 - 财政年份：2021
- 资助金额：
$ 3.13万 - 项目类别：
Standard Grant
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2021
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Program Verification and Synthesis for Reliable Concurrent and Distributed Computing
可靠的并发和分布式计算的程序验证和综合
- 批准号：
RGPIN-2020-06516 - 财政年份：2020
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号：
RGPIN-2019-04354 - 财政年份：2020
- 资助金额：
$ 3.13万 - 项目类别：
Discovery Grants Program - Individual
SHF: Small: Synthesis of Complex Deep Neural Networks on Distributed Resource-Constrained Devices
SHF：小型：分布式资源受限设备上复杂深度神经网络的综合
- 批准号：
2006394 - 财政年份：2020
- 资助金额：
$ 3.13万 - 项目类别：
Standard Grant
CAREER: Distributed System Synthesis on Certified Middleware
职业：认证中间件上的分布式系统综合
- 批准号：
1942711 - 财政年份：2020
- 资助金额：
$ 3.13万 - 项目类别：
Continuing Grant