课题基金 / 基金详情

Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse

Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse
开发工业适用的计算机工具，用于验证过程工程过程的离散控制
批准号：
5267714
负责人：
Professor Dr.-Ing. Stefan Kowalewski
金额：
$0.0万
依托单位：
Informatik 11 - Lehrstuhl Software für eingebettete Systeme
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1996
资助国家：
德国
项目状态：
已结题
起止时间：
1995-12-31 至 1999-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5267714?language=en
关键词：
EntwicklungeinesindustriellanwendbarenRechnerwerkzeugs

项目摘要

项目成果

Professor Dr.-Ing. Stefan Kowalewski的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Analysis of conditional specifications for programmable logic controllers
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT)
  • 批准号：
    224967929
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2013
  • 负责人：
    Professor Dr.-Ing. Stefan Kowalewski
  • 依托单位：
    Klinik für Anästhesiologie
Entwicklung einer hochintegrierten, bedarfsadaptierten automatisierten extrakorporalen Lungenunterstützung unter Einsatz modellbasierter Sicherheitskonzepte (Smart ECLA)
海外基金