课题基金 / 基金详情

The Public Leadership Challenge

The Public Leadership Challenge
公共领导力挑战
批准号：
RES-451-25-4273
负责人：
Stephen Brookes
金额：
$1.8万
依托单位：
University of Manchester
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2006
资助国家：
英国
项目状态：
已结题
起止时间：
2006 至 --
来源：
https://gtr.ukri.org/projects?ref=RES-451-25-4273
关键词：
PublicLeadershipChallenge

项目摘要

项目成果

Stephen Brookes的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Separation Principles for Concurrent Programs: Semantics, Logics, and Methodology
  • 批准号：
    1017011
  • 项目类别：
    Standard Grant
  • 资助金额：
    $41.87万
  • 财政年份：
    2010
  • 负责人：
    Stephen Brookes
  • 依托单位：
    Carnegie-Mellon University
A Resource-Sensitive Semantic Framework for Concurrent Programs
  • 批准号：
    0429505
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2005
  • 负责人：
    Stephen Brookes
  • 依托单位：
    Carnegie-Mellon University
A Semantically-Based Methodology for Proving Safety, Liveness, and Security Properties of Parallel Systems
  • 批准号：
    9988551
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $20.0万
  • 财政年份：
    2000
  • 负责人：
    Stephen Brookes
  • 依托单位：
    Carnegie-Mellon University
Semantics of Parallel Programs
  • 批准号：
    9412980
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $19.5万
  • 财政年份：
    1995
  • 负责人：
    Stephen Brookes
  • 依托单位：
    Carnegie-Mellon University
海外基金