课题基金 / 基金详情

Extending the OME requirements analysis tool to support formal analysis using ConGolog and CASL

Extending the OME requirements analysis tool to support formal analysis using ConGolog and CASL
扩展 OME 需求分析工具以支持使用 ConGolog 和 CASL 的形式分析
批准号：
346849-2007
负责人：
Grolinger, Gertruda
金额：
$1.26万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Master's
财政年份：
2007
资助国家：
加拿大
项目状态：
已结题
起止时间：
2007-01-01 至 2008-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=372045
关键词：
ExtendingOMErequirementsanalysistool

项目摘要

项目成果

Grolinger, Gertruda的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Extending the OME requirements analysis tool to support formal analysis using ConGolog and CASL
  • 批准号：
    346849-2008
  • 项目类别：
    Postgraduate Scholarships - Master's
  • 资助金额：
    $1.26万
  • 财政年份：
    2008
  • 负责人：
    Grolinger, Gertruda
  • 依托单位：
    University of Toronto
Integration of vision and language for image and video annotation
  • 批准号：
    352333-2007
  • 项目类别：
    University Undergraduate Student Research Awards
  • 资助金额：
    $0.33万
  • 财政年份：
    2007
  • 负责人：
    Grolinger, Gertruda
  • 依托单位：
    University of Toronto
国内基金
海外基金
定向催化氨解木质素衍生芳香化合物的C(sp2)–OMe键一步合成芳香胺的研究
  • 批准号：
    22072042
  • 项目类别：
    面上项目
  • 资助金额：
    64.0万元
  • 批准年份：
    2020
  • 负责人：
    刘晓晖
  • 依托单位：
    华东理工大学
精准活化木质素单元结构中C(sp2)-OMe键的Nb基催化剂的结构设计及调控研究
  • 批准号：
    21872050
  • 项目类别：
    面上项目
  • 资助金额：
    66.0万元
  • 批准年份：
    2018
  • 负责人：
    刘晓晖
  • 依托单位：
    华东理工大学