Modelling and testing of protocols and distributed software system

协议和分布式软件系统的建模和测试

基本信息

  • 批准号:
    156880-1994
  • 负责人:
  • 金额:
    $ 4.25万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    1997
  • 资助国家:
    加拿大
  • 起止时间:
    1997-01-01 至 1998-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 }}

Bochmann, Gregor其他文献

Bochmann, Gregor的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Bochmann, Gregor', 18)}}的其他基金

Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
  • 批准号:
    RGPIN-2016-03717
  • 财政年份:
    2021
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
  • 批准号:
    RGPIN-2016-03717
  • 财政年份:
    2019
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
  • 批准号:
    RGPIN-2016-03717
  • 财政年份:
    2018
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
  • 批准号:
    RGPIN-2016-03717
  • 财政年份:
    2017
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Deriving correct distributed system designs from global requirements
从全局需求中得出正确的分布式系统设计
  • 批准号:
    RGPIN-2016-03717
  • 财政年份:
    2016
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
  • 批准号:
    156880-2011
  • 财政年份:
    2015
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
  • 批准号:
    156880-2011
  • 财政年份:
    2014
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Software development for distributed applications and scalable execution platforms
分布式应用程序和可扩展执行平台的软件开发
  • 批准号:
    156880-2011
  • 财政年份:
    2013
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Discovery Grants Program - Individual
Distributed crawling and security assessment of rich internet applications
富互联网应用的分布式爬取与安全评估
  • 批准号:
    419394-2011
  • 财政年份:
    2013
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Collaborative Research and Development Grants
Distributed crawling and security assessment of rich internet applications
富互联网应用的分布式爬取与安全评估
  • 批准号:
    419394-2011
  • 财政年份:
    2012
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Collaborative Research and Development Grants

相似国自然基金

基于质谱贴片的病原菌标志物检测及伤口感染诊断应用
  • 批准号:
    82372148
  • 批准年份:
    2023
  • 资助金额:
    60.00 万元
  • 项目类别:
    面上项目
用多重假设检验方法来研究方差变点问题
  • 批准号:
    10901010
  • 批准年份:
    2009
  • 资助金额:
    16.0 万元
  • 项目类别:
    青年科学基金项目
资本外逃及其逆转:基于中国的理论与实证研究
  • 批准号:
    70603008
  • 批准年份:
    2006
  • 资助金额:
    17.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Designing Rational Combinations to Improve CAR T Cell Therapy for Prostate Cancer
设计合理的组合以改善前列腺癌的 CAR T 细胞疗法
  • 批准号:
    10752046
  • 财政年份:
    2024
  • 资助金额:
    $ 4.25万
  • 项目类别:
RapiPath follow-on: Rapid mastitis testing through automated protocols
RapiPath 后续产品:通过自动化方案进行快速乳腺炎检测
  • 批准号:
    10094384
  • 财政年份:
    2024
  • 资助金额:
    $ 4.25万
  • 项目类别:
    Collaborative R&D
A National NHP Embryo Resource of Human Genetic Disease Models
国家NHP人类遗传病模型胚胎资源
  • 批准号:
    10556087
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
Developing and Evaluating a Positive Valence Treatment for Alcohol Use Disorder with Anxiety or Depression
开发和评估治疗伴有焦虑或抑郁的酒精使用障碍的正价疗法
  • 批准号:
    10596013
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
Research Project 2
研究项目2
  • 批准号:
    10403256
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
Microbiome targeted oral butyrate therapy in Gulf War multisymptom illness
微生物组靶向口服丁酸盐治疗海湾战争多症状疾病
  • 批准号:
    10367805
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
Hyperpolarized 129Xe MRI to identify structural determinants of low lung function and respiratory symptoms in young adults from the Lung Health Cohort
超极化 129Xe MRI 用于识别肺健康队列中年轻人低肺功能和呼吸道症状的结构决定因素
  • 批准号:
    10639640
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
A next-generation extendable simulation environment for affordable, accurate, and efficient free energy simulations
下一代可扩展模拟环境,可实现经济、准确且高效的自由能源模拟
  • 批准号:
    10638121
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
Addressing Disparities In Pain Management
解决疼痛管理方面的差异
  • 批准号:
    10642345
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
Mechanistic and Bioinformatics Core
机制和生物信息学核心
  • 批准号:
    10642595
  • 财政年份:
    2023
  • 资助金额:
    $ 4.25万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了