课题基金 / 基金详情

Automation of metric temporal reasoning

Automation of metric temporal reasoning
度量时间推理的自动化
批准号：
DP110104669
负责人：
Prof Mark Reynolds
金额：
$17.94万
依托单位：
The University of Western Australia
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2011
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2011-01-01 至 2014-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP110104669
关键词：
Automationmetrictemporalreasoning

项目摘要

项目成果

Prof Mark Reynolds的其他基金

相似基金

相关文献

中文摘要
翻译
当代工程学关注的一个主要问题是确保涉及软件、硬件和人类用户的计算机系统的可预测和稳健运行。系统而仔细地构建这种系统的需要，要求发展基于密集时间观的正式方法，而不是传统的逐步模型。
英文摘要
A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
automated strategic reasoning
  • 批准号：
    DP140103365
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $25.11万
  • 财政年份：
    2014
  • 负责人：
    Prof Mark Reynolds
  • 依托单位：
    The University of Western Australia
国内基金
海外基金
基于异构医学影像数据的深度挖掘技术及中枢神经系统重大疾病的精准预测
  • 批准号：
    61672236
  • 项目类别：
    面上项目
  • 资助金额：
    64.0万元
  • 批准年份：
    2016
  • 负责人：
    王骏
  • 依托单位：
    华东师范大学