刷新
{{item.name}}会员
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
基本信息
- 批准号：5267558
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：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. Willem-Paul de Roever其他文献
Professor Dr. Willem-Paul de Roever的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Willem-Paul de Roever', 18)}}的其他基金
Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support
通过欠近似和过近似机制扩展状态图以提供自上而下的开发支持
- 批准号：
21542682 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5288312 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Research Grants
MOBI-J-II: Formal Methods for Components and Objects
MOBI-J-II：组件和对象的形式化方法
- 批准号：
5341258 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Research Grants
An assertional proof theory for multi-threaded control flow in the object-based core of Java
Java基于对象核心中多线程控制流的断言证明理论
- 批准号：
5330420 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Research Grants
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5301556 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Priority Programmes
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5288306 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Priority Programmes
Formale Analyse von Sequential Funktion Charts
顺序功能图的形式分析
- 批准号：
5184088 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien
基于角色的安全策略的正式规范、验证和实施
- 批准号：
25616799 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Spezifikation und Verifikation von Informationsflüssen (InfoZert B)
信息流的规范和验证 (InfoZert B)
- 批准号：
15948980 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
全局异步-局部同步（GALS）系统和电路的规范、验证和综合
- 批准号：
5428633 - 财政年份：2004
- 资助金额：
-- - 项目类别：
Research Grants
Fahrerlose Transportsysteme als kooperative und adaptive Multiagentensysteme - Modellierung, Spezifikation, Verifikation und Simulation
无人驾驶运输系统作为协作和自适应多智能体系统 - 建模、规范、验证和模拟
- 批准号：
5245534 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Priority Programmes
Fahrerlose Transportsysteme als kooperative und adaptive Multiagentensysteme - Modellierung, Spezifikation, Verifikation und Simulation
无人驾驶运输系统作为协作和自适应多智能体系统 - 建模、规范、验证和模拟
- 批准号：
5245560 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Priority Programmes
Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns
微内核基本安全属性的正式规范和验证
- 批准号：
5288276 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Research Grants
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号：
5135386 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号：
5135392 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
轨道交通安全装置规范和验证方法的集成
- 批准号：
5292084 - 财政年份：1998
- 资助金额：
-- - 项目类别：
Priority Programmes
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
- 批准号：
5267552 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Priority Programmes