权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

KONDISK-MOVESYN：考虑连续子系统的离散自动化系统的验证和综合建模

基本信息

批准号：
5268726
负责人：
Professor Dr.-Ing. Eckehard Schnieder
金额：
--
依托单位：
Institut für Verkehrssicherheit und Automatisierungstechnik
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1996
资助国家：
德国
起止时间：
1995-12-31 至 1999-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/5268726?language=en
关键词：
KONDISK MOVESYN Modellbildung zur Verifikation

项目摘要

No abstract available

没有可用的摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Professor Dr.-Ing. Eckehard Schnieder其他文献

Professor Dr.-Ing. Eckehard Schnieder的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

立即体验

{{ truncateString('Professor Dr.-Ing. Eckehard Schnieder', 18)}}的其他基金

Integrative Erstellung einer konsistenten Terminologie zur Verlässlichkeit (RAMS) in der Automatisierungstechnik

集成创建自动化技术中一致的可靠性术语 (RAMS)

批准号：
163563441
财政年份：
2010
资助金额：
--
项目类别：
Research Grants

Konstruktion und Optimierung robuster Trassen für den Eisenbahnbetrieb

铁路运营稳健路线的建设和优化

批准号：
5438455
财政年份：
2004
资助金额：
--
项目类别：
Research Grants

Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien

使用 Petri 网技术对铁路交通安全相关控制进行工具支持的建模、分析和综合

批准号：
5439115
财政年份：
2004
资助金额：
--
项目类别：
Research Grants

Combined Net-object-oriented-specification-technique for software of safety-relevant systems

安全相关系统软件的组合网络面向对象规范技术

批准号：
5279066
财政年份：
2000
资助金额：
--
项目类别：
Priority Programmes

KONDISK-ReKoSys: Ressourcenorientierte Beschreibung und Werkzeug-Kooperationskonzepte für hybride Systeme

KONDISK-ReKoSys：混合系统的面向资源的描述和工具协作概念

批准号：
5165030
财政年份：
1999
资助金额：
--
项目类别：
Priority Programmes

Modellierung, Analyse und Simulation komplexer Systeme des spurgebundenen Verkehrs mit hybriden höheren Petrinetzen

使用混合更高 Petri 网对复杂的基于轨道的交通系统进行建模、分析和仿真

批准号：
5164994
财政年份：
1999
资助金额：
--
项目类别：
Priority Programmes

Analyse und Synthese kontinuierlich-diskreter technischer Systeme

连续-离散技术系统的分析与综合

批准号：
5226756
财政年份：
1999
资助金额：
--
项目类别：
Priority Programmes

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

VEBASI：使用离散连续描述工具对铁路系统进行高精度行为建模以考虑安全

批准号：
5267296
财政年份：
1996
资助金额：
--
项目类别：
Priority Programmes