课题基金 / 基金详情

KONDISK-MOVESYN: Modellbildung zur Verifikation und Synthese diskreter Automatisierungssysteme unter Berücksichtigung kontinuierlicher Teilsysteme

KONDISK-MOVESYN: Modellbildung zur Verifikation und Synthese diskreter Automatisierungssysteme unter Berücksichtigung kontinuierlicher Teilsysteme
KONDISK-MOVESYN：考虑连续子系统的离散自动化系统的验证和综合建模
批准号：
5268726
负责人：
Professor Dr.-Ing. Eckehard Schnieder
金额：
$0.0万
依托单位：
Institut für Verkehrssicherheit und Automatisierungstechnik
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1996
资助国家：
德国
项目状态：
已结题
起止时间：
1995-12-31 至 1999-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5268726?language=en
关键词：
KONDISKMOVESYNModellbildungzurVerifikation

项目摘要

项目成果

Professor Dr.-Ing. Eckehard Schnieder的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Integrative Erstellung einer konsistenten Terminologie zur Verlässlichkeit (RAMS) in der Automatisierungstechnik
Konstruktion und Optimierung robuster Trassen für den Eisenbahnbetrieb
Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
Combined Net-object-oriented-specification-technique for software of safety-relevant systems