课题基金 / 基金详情

Architectural models and formal techniques for design of high quality telecom software

Architectural models and formal techniques for design of high quality telecom software
用于设计高质量电信软件的架构模型和形式化技术
批准号：
8976-1997
负责人：
Logrippo, Luigi
金额：
$2.02万
依托单位：
University of Ottawa
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
1999
资助国家：
加拿大
项目状态：
已结题
起止时间：
1999-01-01 至 2000-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=149509
关键词：
Architecturalmodelsformaltechniquesdesign

项目摘要

项目成果

Logrippo, Luigi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Secure data flow in networks and in the Internet of things
  • 批准号：
    RGPIN-2019-06394
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2022
  • 负责人：
    Logrippo, Luigi
  • 依托单位：
    Québec en Outaouais
Secure data flow in networks and in the Internet of things
  • 批准号：
    RGPIN-2019-06394
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2021
  • 负责人：
    Logrippo, Luigi
  • 依托单位：
    Québec en Outaouais
Secure data flow in networks and in the Internet of things
  • 批准号：
    RGPIN-2019-06394
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2020
  • 负责人：
    Logrippo, Luigi
  • 依托单位：
    Québec en Outaouais
Secure data flow in networks and in the Internet of things
  • 批准号：
    RGPIN-2019-06394
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2019
  • 负责人：
    Logrippo, Luigi
  • 依托单位：
    Québec en Outaouais
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
河北南部地区灰霾的来源和形成机制研究
  • 批准号：
    41105105
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2011
  • 负责人：
    王丽涛
  • 依托单位：
    河北工程大学
保险风险模型、投资组合及相关课题研究
  • 批准号：
    10971157
  • 项目类别：
    面上项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2009
  • 负责人：
    胡亦钧
  • 依托单位：
    武汉大学
RKTG对ERK信号通路的调控和肿瘤生成的影响