刷新
{{item.name}}会员
Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse
开发工业适用的计算机工具，用于验证过程工程过程的离散控制
基本信息
- 批准号：5267714
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：1996
- 资助国家：德国
- 起止时间：1995-12-31 至 1999-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No abstract available
没有可用的摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Professor Dr.-Ing. Stefan Kowalewski其他文献
Professor Dr.-Ing. Stefan Kowalewski的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Stefan Kowalewski', 18)}}的其他基金
Analysis of conditional specifications for programmable logic controllers
可编程逻辑控制器的条件规范分析
- 批准号：
335714914 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Research Grants
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
使用几何近似进行混合系统可达性分析的工具箱
- 批准号：
227484301 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Research Grants
Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT)
体外肺支持和通气的协同控制治疗肺衰竭（ECLA-VENT）
- 批准号：
224967929 - 财政年份：2013
- 资助金额：
-- - 项目类别：
Research Grants
Entwicklung einer hochintegrierten, bedarfsadaptierten automatisierten extrakorporalen Lungenunterstützung unter Einsatz modellbasierter Sicherheitskonzepte (Smart ECLA)
使用基于模型的安全概念（智能 ECLA）开发高度集成、适应需求的自动化体外肺支持系统
- 批准号：
36985552 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5166876 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Priority Programmes
相似海外基金
Upgrade eines 3-Tesla-MRT-Scanners
升级 3 特斯拉 MRI 扫描仪
- 批准号：
466436191 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Regulation paternaler Vererbung eines Argonaute Proteins in C. elegans
秀丽隐杆线虫中 Argonaute 蛋白父系遗传的调控
- 批准号：
420526853 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Research Grants
Trilaterale Forschungskonferenzen: Vormoderne Formen literarischen Ich-Erzählens: Die europäische Karriere eines Erzählformats
三边研究会议：文学第一人称叙事的前现代形式：叙事格式的欧洲生涯
- 批准号：
415557692 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Research Grants
Mission und dekoloniale Perspektive. Der Erste Weltkrieg als Auslöser eines globalen Prozesses
使命和非殖民主义观点。
- 批准号：
416096625 - 财政年份：2018
- 资助金额：
-- - 项目类别：
Publication Grants
Erweiterung eines Hochleistungsrechners
高性能计算机的扩展
- 批准号：
359757177 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Aufbau eines modularen Systems zur zeitaufgelösten Einzelmolekül/Enzymdetektion (FCS)
时间分辨单分子/酶检测（FCS）模块化系统的构建
- 批准号：
387637964 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Antriebs- und Regelungseinheit für den dynamischen Betrieb eines Niedergeschwindigkeitsaxialverdichters
用于低速轴流压缩机动态运行的驱动和控制单元
- 批准号：
391333876 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Diagnose von Augenerkrankungen auf der Basis eines neuartigenfunktionellen parallelen Video-Ophthalmoskops.
基于新型功能并行视频检眼镜的眼部疾病诊断
- 批准号：
285882518 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Research Grants
Lasersystem zum Kühlen und Fangen eines ultrakalten Ytterbium-Lithium Gemisches
用于冷却和捕获超冷镱锂混合物的激光系统
- 批准号：
324516453 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Major Research Instrumentation
Lyrikologie. Konturen eines Forschungsfeldes
抒情诗学。
- 批准号：
299290921 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Scientific Networks