刷新
{{item.name}}会员
Testability-directed formal specifications and designs of communicating processes
可测试性导向的通信过程的正式规范和设计
基本信息
- 批准号：118513-1991
- 负责人：
- 金额：$ 5.83万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Industrially Oriented Research Grants
- 财政年份：1991
- 资助国家：加拿大
- 起止时间：1991-01-01 至 1992-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 }}
Probert, Robert其他文献
Probert, Robert的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Probert, Robert', 18)}}的其他基金
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
- 批准号：
3-2001 - 财政年份：2005
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
- 批准号：
3-2001 - 财政年份：2004
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
- 批准号：
3-2001 - 财政年份：2003
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
- 批准号：
3-2001 - 财政年份：2002
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
- 批准号：
3-2001 - 财政年份：2001
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
- 批准号：
3-1996 - 财政年份：2000
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
- 批准号：
3-1996 - 财政年份：1999
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
- 批准号：
3-1996 - 财政年份：1998
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
- 批准号：
3-1996 - 财政年份：1997
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
Validation-directed communications software engineering
验证导向的通信软件工程
- 批准号：
3-1992 - 财政年份：1995
- 资助金额：
$ 5.83万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
晶态桥联聚倍半硅氧烷的自导向组装（self-directed assembly）及其发光性能
- 批准号：21171046
- 批准年份：2011
- 资助金额：55.0 万元
- 项目类别：面上项目
TAP26磷酸化调控SP-B基因表达的研究
- 批准号：81070059
- 批准年份：2010
- 资助金额：32.0 万元
- 项目类别：面上项目
hCLP46启动子"CpG island"甲基化模式及其对骨髓CD34+细胞分化的作用
- 批准号：30771193
- 批准年份：2007
- 资助金额：10.0 万元
- 项目类别：面上项目
相似海外基金
CRII: AF: Streaming Approximability of Maximum Directed Cut and other Constraint Satisfaction Problems
CRII：AF：最大定向切割和其他约束满足问题的流近似性
- 批准号：
2348475 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
REU Site: DRUMS Directed Research for Undergraduates in Math and Statistics
REU 网站：DRUMS 为数学和统计学本科生指导的研究
- 批准号：
2349611 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Continuing Grant
CAREER: Understanding Processing-Structure-Property Relationships in Co-Axial Wire-Feed, Powder-Feed Laser Directed Energy Deposition
职业：了解同轴送丝、送粉激光定向能量沉积中的加工-结构-性能关系
- 批准号：
2338951 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
Directed and adaptive evolution of photosynthetic systems
光合系统的定向和适应性进化
- 批准号：
MR/Y011635/1 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Fellowship
CAREER: Anisotropy-Directed Synthesis of Optically Active 1D van der Waals Nanocrystals and Development of Multiscale Solid State Chemistry Educational Activities
职业：光学活性一维范德华纳米晶体的各向异性定向合成和多尺度固态化学教育活动的发展
- 批准号：
2340918 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Continuing Grant
GOAL project: AI-supported self-directed learning lifestyle in data-rich educational ecosystem
GOAL 项目：数据丰富的教育生态系统中人工智能支持的自主学习生活方式
- 批准号：
23K25156 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Gain-of-function toxicity in alpha-1 antitrypsin deficient type 2 alveolar epithelial cells
α-1 抗胰蛋白酶缺陷型 2 型肺泡上皮细胞的功能获得毒性
- 批准号：
10751760 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
FMSG: Bio: Interface-Directed Manufacturing of Piezoelectric Biocrystal Thin Films
FMSG：生物：压电生物晶体薄膜的界面导向制造
- 批准号：
2328250 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant
Uncovering the Underlying Biophysical Mechanisms of Directed Cell Migration
揭示定向细胞迁移的潜在生物物理机制
- 批准号：
2345411 - 财政年份：2024
- 资助金额：
$ 5.83万 - 项目类别：
Standard Grant