课题基金 / 基金详情

Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme

Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
在复杂生产自动化系统的设计中，图形规范和实时验证的正式和有条理的集成
批准号：
5280360
负责人：
Professor Dr. Franz-Josef Rammig
金额：
$0.0万
依托单位：
Heinz Nixdorf Institut (HNI)
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
2000
资助国家：
德国
项目状态：
已结题
起止时间：
1999-12-31 至 2004-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5280360?language=en
关键词：
FormaleundmethodischeIntegrationvon

项目摘要

项目成果

Professor Dr. Franz-Josef Rammig的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Modular Approach for Evolving Societies of Learning Autonomous Systems
  • 批准号：
    46547017
  • 项目类别：
    Priority Programmes
  • 资助金额：
    $0.0万
  • 财政年份：
    2007
  • 负责人：
    Professor Dr. Franz-Josef Rammig
  • 依托单位：
    Institut für Informatik
Design of low power architectures
  • 批准号：
    5409462
  • 项目类别：
    Priority Programmes
  • 资助金额：
    $0.0万
  • 财政年份：
    2003
  • 负责人：
    Professor Dr. Franz-Josef Rammig
  • 依托单位：
    Institut für Informatik
Temporal partitioning and temporal placement for the design of reconfigurable computing systems
  • 批准号：
    5409080
  • 项目类别：
    Priority Programmes
  • 资助金额：
    $0.0万
  • 财政年份：
    2003
  • 负责人：
    Professor Dr. Franz-Josef Rammig
  • 依托单位：
    Fachgebiet Entwurf Paralleler Systeme
Entwurf verlustarmer Architekturvarianten
  • 批准号：
    5173284
  • 项目类别：
    Priority Programmes
  • 资助金额：
    $0.0万
  • 财政年份：
    1999
  • 负责人：
    Professor Dr. Franz-Josef Rammig
  • 依托单位：
    Institut für Informatik
海外基金