刷新
{{item.name}}会员
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
基本信息
- 批准号：5301556
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：2001
- 资助国家：德国
- 起止时间：2000-12-31 至 2002-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
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5288306 - 财政年份：2000
- 资助金额：
-- - 项目类别：
Priority Programmes
Formale Analyse von Sequential Funktion Charts
顺序功能图的形式分析
- 批准号：
5184088 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Research Grants
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
- 批准号：
5267558 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Priority Programmes
相似海外基金
Graphstrukturtheorie und algorithmische Anwendungen
图结构理论与算法应用
- 批准号：
203684084 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Verallgemeinerte Gebietsplanungsprobleme, neue Anwendungsbereiche und die algorithmische Umsetzung.
广义区域规划问题、新的应用领域和算法实现。
- 批准号：
175797565 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Grants
Algorithmische Geometrie: Realistische Eingabemodelle, Parametrisierte Komplexität und Formapproximation
算法几何：现实输入模型、参数化复杂性和形状近似
- 批准号：
162287687 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Heisenberg Fellowships
Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme
多人博弈中的算法策略——合作系统的概念和方法
- 批准号：
40219435 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
RoboRithmics: Algorithmische und praktische Methoden zur Steuerung eines autonomen Explorationsroboters
RoboRithmics：控制自主探索机器人的算法和实用方法
- 批准号：
48145152 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Priority Programmes
Algorithmische Zufälligkeit in der Berechnbarkeits- und Komplexitätstheorie
可计算性和复杂性理论中的算法随机性
- 批准号：
33485683 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Familien von Hashfunktionen mit starken Zufallseigenschaften: Konstruktionsmethoden, algorithmische Anwendungen und Branchingprogrammkomplexität
具有强随机特性的哈希函数族：构造方法、算法应用和分支程序复杂性
- 批准号：
5444789 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Emmy Noether International Fellowships
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
混合过程分布式控制系统的集成算法和演绎验证
- 批准号：
5288312 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Research Grants
Evaluierung und Weiterentwicklung des parametrischen Ansatzes für algorithmische Graphenprobleme aus der Praxis
从实践中评估和进一步发展算法图问题的参数化方法
- 批准号：
5415670 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Priority Programmes
Komplexitätstheoretische und algorithmische Eigenschaften Boolescher Funktionen mit Bezug zur Kryptographie
参考密码学的布尔函数的复杂性理论和算法特性
- 批准号：
5326790 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Research Grants