课题基金 / 基金详情

Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse

Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
批准号：
5267558
负责人：
Professor Dr. Willem-Paul de Roever
金额：
$0.0万
依托单位：
Institut für Informatik
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1996
资助国家：
德国
项目状态：
已结题
起止时间：
1995-12-31 至 1999-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5267558?language=en
关键词：
SpezifikationundVerifikationvonSteuerungen

项目摘要

项目成果

Professor Dr. Willem-Paul de Roever的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support
  • 批准号：
    21542682
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
  • 批准号：
    5288312
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2003
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
MOBI-J-II: Formal Methods for Components and Objects
An assertional proof theory for multi-threaded control flow in the object-based core of Java
  • 批准号：
    5330420
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2001
  • 负责人：
    Professor Dr. Willem-Paul de Roever
  • 依托单位：
    Institut für Informatik
海外基金