课题基金 / 基金详情

Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie

Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie
面向应用的Petrie网技术的分类、构思和提供
批准号：
5172708
负责人：
Professor Dr. Hartmut Ehrig (†)
金额：
$0.0万
依托单位：
Fachgebiet Theoretische Informatik/ Formale Spezifikation
依托单位国家：
德国
项目类别：
Research Units
财政年份：
1996
资助国家：
德国
项目状态：
已结题
起止时间：
1995-12-31 至 2002-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5172708?language=en
关键词：
TaxonomieKonzeptionundBereitstellunganwendungsorientierter

项目摘要

项目成果

Professor Dr. Hartmut Ehrig (†)的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Behavioural simulation and equivalences of systems modelled by graph transformation
Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken
Anwendung von Graphtransformation auf visuelle Modellierungssprachen
Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
海外基金