课题基金 / 基金详情

Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme

Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
反应系统的定量和形式模型中的动作细化
批准号：
5364713
负责人：
Professorin Dr. Mila Majster-Cederbaum
金额：
$0.0万
依托单位：
Lehr- und Forschungseinheit Programmierung und Softwaretechnik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2002
资助国家：
德国
项目状态：
已结题
起止时间：
2001-12-31 至 2005-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5364713?language=en
关键词：
AktionsverfeinerungquantitativenundformalenModellen

项目摘要

项目成果

Professorin Dr. Mila Majster-Cederbaum的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
..Ziel ist: 1. Die Entwicklung und Untersuchung des Konzeptes von Aktionsverfeinerung in verschiedenen quantitativen Erweiterungen von Modellen nebenläufiger/reaktiver Systeme. 2. Aufbauend auf den theoretischen Ergebnissen das Konzept der Aktionsverfeinerung zu dem, UML Beschreibungstechniken hinzuzufügen und theoretisch zu untermauern.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking
Entwurf und (quantitative) Analyse Komponenten-basierter Systeme
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
Unterspezifikation in Prozessalgebren
海外基金