课题基金 / 基金详情

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
在复杂生产自动化系统的设计中，图形规范和实时验证的正式和有条理的集成
批准号：
5135348
负责人：
Professor Dr. Thomas Kropf
金额：
$0.0万
依托单位：
Lehrstuhl für Technische Informatik
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1998
资助国家：
德国
项目状态：
已结题
起止时间：
1997-12-31 至 2006-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5135348?language=en
关键词：
FormaleundmethodischeIntegrationvon

项目摘要

项目成果

Professor Dr. Thomas Kropf的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen
  • 批准号：
    5372288
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2002
  • 负责人：
    Professor Dr. Thomas Kropf
  • 依托单位：
    Lehrstuhl für Technische Informatik
海外基金