课题基金 / 基金详情

VEBASI: Hochpräzise Verhaltensmodellierung von Bahnsystemen für Sicherheits- betrachtungen unter Verwendung eines diskret-kontinuierlichen Beschreibungsmittels

VEBASI: Hochpräzise Verhaltensmodellierung von Bahnsystemen für Sicherheits- betrachtungen unter Verwendung eines diskret-kontinuierlichen Beschreibungsmittels
VEBASI:使用离散连续描述工具对铁路系统进行高精度行为建模以考虑安全
批准号:
5267296
负责人:
Professor Dr.-Ing. Eckehard Schnieder
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
1996
资助国家:
德国
项目状态:
已结题
起止时间:
1995-12-31 至 1999-12-31

项目摘要

项目成果

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