课题基金 / 基金详情

Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr

Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
批准号：
5135386
负责人：
Professor Dr.-Ing. Peter Göhner
金额：
$0.0万
依托单位：
Institut für Automatisierungstechnik und Softwaresysteme (IAS)
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1998
资助国家：
德国
项目状态：
已结题
起止时间：
1997-12-31 至 2005-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5135386?language=en
关键词：
IntegrationvonMethodenzurSpezifikation

项目摘要

项目成果

Professor Dr.-Ing. Peter Göhner的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme
INAMOSYS - Integrated Accessibility Models of User Interfaces for Web and Automation Systems
  • 批准号：
    130006494
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2009
  • 负责人：
    Professor Dr.-Ing. Peter Göhner
  • 依托单位：
    Cybernetics Lab IMA & IfU
Flexible dezentrale Automatisierungs- und Regelungssysteme auf Basis qualitativer Modelle und Ressourcen-schonender Agenten (AUREG - IAS)
Entwicklung von Konzepten und Methoden zur Anwendung der agentenorientierten Softwareentwicklung für flexible und verlässliche eingebettete Echtzeitsysteme
国内基金
海外基金
半有限von Neumann代数中投影集上的Wigner定理
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    钱文华
  • 依托单位：
    重庆师范大学
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
  • 批准号：
    82302106
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2023
  • 负责人：
    石伟哲
  • 依托单位：
    广州医科大学
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
  • 批准号：
    12271074
  • 项目类别：
    面上项目
  • 资助金额：
    45万元
  • 批准年份：
    2022
  • 负责人：
    石瑞
  • 依托单位：
    大连理工大学
线性保持方法在量子信息研究中的应用
  • 批准号：
    12001420
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    王美丽
  • 依托单位：
    西安科技大学