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
批准号:
5267296
负责人:
Professor Dr.-Ing. Eckehard Schnieder
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
1996
资助国家:
德国
项目状态:
已结题
起止时间:
1995-12-31 至 1999-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Integrative Erstellung einer konsistenten Terminologie zur Verlässlichkeit (RAMS) in der Automatisierungstechnik
-
批准号:163563441
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
Konstruktion und Optimierung robuster Trassen für den Eisenbahnbetrieb
-
批准号:5438455
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien
-
批准号:5439115
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
Combined Net-object-oriented-specification-technique for software of safety-relevant systems
-
批准号:5279066
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
KONDISK-ReKoSys: Ressourcenorientierte Beschreibung und Werkzeug-Kooperationskonzepte für hybride Systeme
-
批准号:5165030
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
Modellierung, Analyse und Simulation komplexer Systeme des spurgebundenen Verkehrs mit hybriden höheren Petrinetzen
-
批准号:5164994
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
Analyse und Synthese kontinuierlich-diskreter technischer Systeme
-
批准号:5226756
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位:
KONDISK-MOVESYN: Modellbildung zur Verifikation und Synthese diskreter Automatisierungssysteme unter Berücksichtigung kontinuierlicher Teilsysteme
-
批准号:5268726
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr.-Ing. Eckehard Schnieder
-
依托单位: