Formale Analyse von Sequential Funktion Charts
顺序功能图的形式分析
基本信息
- 批准号:5184088
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:1999
- 资助国家:德国
- 起止时间:1998-12-31 至 2005-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
Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse
基于模块化模型和成分分析的连续系统控制的规范和验证
- 批准号:
5267558 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Priority Programmes
相似海外基金
Molekularstrahlepitaxie-Anlage zur Herstellung und in situ Analyse von 2D-Materialien
用于二维材料生产和原位分析的分子束外延系统
- 批准号:
406029123 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
Ausgrabungen in Tell Chuera in Nordost-Syrien.Steingeräteindustrien in frühurbanem Kontext: Eine wirtschaftsarchäologische Analyse derlithischen Funde aus Tell Chuera und Kharab Sayyar (Nordostsyrien).Vorderasiatische Forschungen der Max Freiherr von Oppe
叙利亚东北部 Tell Chuera 的发掘在早期城市背景下实现了工业:对 Tell Chuera 和 Kharab Sayyar(叙利亚东北部)石器发现的经济考古分析,Max Freiherr von Oppe。
- 批准号:
326962222 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Publication Grants
System zur Analyse der Störfestigkeit von Elektrofahrzeugen gegen elektromagnetische Felder hoher Leistung
电动汽车高功率电磁场抗扰度分析系统
- 批准号:
264152200 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
Deutsche und polnische Auslegungs- und Argumentationskultur im Strafrecht. Eine vergleichende Analyse der Rechtsprechung von Bundesgerichtshof und Oberstem Gericht.
德国和波兰刑法解释和论证的文化。
- 批准号:
262629983 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Publication Grants
Apparatur zur chemischen Analyse von Oberflächen mittels Röntgen-Photoelektronenspektroskopie
使用 X 射线光电子能谱进行表面化学分析的装置
- 批准号:
246810044 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Major Research Instrumentation
Nicht starre Registrierungsmethoden für die Analyse und Kompensation der Rückfederung durch die Optimierung von Blechumformwerkzeugen (T01)
通过优化钣金成形工具进行回弹分析和补偿的非刚性配准方法 (T01)
- 批准号:
244609714 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Collaborative Research Centres (Transfer Project)
RLum.Network: Ein Wissenschaftsnetzwerk zur Analyse von Lumineszenzdaten mit R.
RLum.Network:用于使用 R 分析发光数据的科学网络。
- 批准号:
250974974 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Scientific Networks
Onkogene Transformationsprozesse einer t(4;11)-assoziierten ALL: Expression von AF4/MLL im humaniserten Modell und Analyse kooperierender Mutationsereignisse
t(4;11)相关ALL的致癌转化过程:人源化模型中AF4/MLL的表达及协同突变事件分析
- 批准号:
210567689 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
Experimentalphonetische Analyse der Artikulation und Perzeption von Cochlear-Implantat-Trägern
人工耳蜗使用者的发音和感知的实验语音分析
- 批准号:
211564005 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants
Analyse und bruchmechanische Beschreibung des Wachstums kurzer Mehrfachrisse im Bereich der Nahtübergangskerbe von Schweißnähten
焊缝过渡缺口区域短多重裂纹扩展分析及断裂力学描述
- 批准号:
213110930 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Research Grants