Formale Analyse von Sequential Funktion Charts

顺序功能图的形式分析

基本信息

项目摘要

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了