Validation-directed communications software engineering

验证导向的通信软件工程

基本信息

  • 批准号:
    3-1992
  • 负责人:
  • 金额:
    $ 2.5万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    1995
  • 资助国家:
    加拿大
  • 起止时间:
    1995-01-01 至 1996-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
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
  • 批准号:
    3-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
  • 批准号:
    3-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
  • 批准号:
    3-2001
  • 财政年份:
    2002
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Principles for validation and verfication of distributed system designs
分布式系统设计的验证和验证原则
  • 批准号:
    3-2001
  • 财政年份:
    2001
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
  • 批准号:
    3-1996
  • 财政年份:
    2000
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
  • 批准号:
    3-1996
  • 财政年份:
    1999
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
  • 批准号:
    3-1996
  • 财政年份:
    1998
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Validation of designs of distributed systems
分布式系统设计的验证
  • 批准号:
    3-1996
  • 财政年份:
    1997
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
Validation-directed communications software engineering
验证导向的通信软件工程
  • 批准号:
    3-1992
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
    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 万元
  • 项目类别:
    面上项目

相似海外基金

SWIFT: Coexisting spectrally-dense communications and passive sensing in directed multi-hop sub-millimeter-wave networks
SWIFT:在定向多跳亚毫米波网络中共存频谱密集通信和无源传感
  • 批准号:
    2229560
  • 财政年份:
    2022
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Standard Grant
Tobacco Industry Direct Mail Marketing
烟草业直邮营销
  • 批准号:
    7288737
  • 财政年份:
    2006
  • 资助金额:
    $ 2.5万
  • 项目类别:
INTER AND INTRAMOLECULAR COMMUNICATIONS IN TRANSCRIPTION
转录中的分子间和分子内通讯
  • 批准号:
    6179693
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
INTER & INTRAMOLECULAR COMMUNICATIONS IN TRANSCRIPTION
国际米兰
  • 批准号:
    6756411
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
INTER AND INTRAMOLECULAR COMMUNICATIONS IN TRANSCRIPTION
转录中的分子间和分子内通讯
  • 批准号:
    2749959
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
INTER & INTRAMOLECULAR COMMUNICATIONS IN TRANSCRIPTION
国际米兰
  • 批准号:
    7096582
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
INTER AND INTRAMOLECULAR COMMUNICATIONS IN TRANSCRIPTION
转录中的分子间和分子内通讯
  • 批准号:
    2903188
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
INTER AND INTRAMOLECULAR COMMUNICATIONS IN TRANSCRIPTION
转录中的分子间和分子内通讯
  • 批准号:
    6525807
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
Inter and intramolecular communications in transcription
转录中的分子间和分子内通讯
  • 批准号:
    8245827
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
Validation-directed communications software engineering
验证导向的通信软件工程
  • 批准号:
    3-1992
  • 财政年份:
    1994
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了