刷新
{{item.name}}会员
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
在复杂生产自动化系统的设计中，图形规范和实时验证的正式和有条理的集成
基本信息
- 批准号：5280360
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：2000
- 资助国家：德国
- 起止时间：1999-12-31 至 2004-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. Franz-Josef Rammig其他文献
Professor Dr. Franz-Josef Rammig的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Franz-Josef Rammig', 18)}}的其他基金
A Modular Approach for Evolving Societies of Learning Autonomous Systems
学习自治系统社会发展的模块化方法
- 批准号：
46547017 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Priority Programmes
Temporal partitioning and temporal placement for the design of reconfigurable computing systems
可重构计算系统设计的时间分区和时间放置
- 批准号：
5409080 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Priority Programmes
Entwurf verlustarmer Architekturvarianten
低损耗架构变体的设计
- 批准号：
5173284 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Priority Programmes
Entwurf konfigurierbarer, echtzeitfähiger Kommunikationssysteme
可配置的实时通信系统的设计
- 批准号：
5371419 - 财政年份：1997
- 资助金额：
-- - 项目类别：
Priority Programmes
Realzeitsteuerungen durch Datenflußarchitekturen
通过数据流架构进行实时控制
- 批准号：
5275708 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Priority Programmes
相似海外基金
Diagnostische Kompetenz von Lehrkräften - Theoretische und methodische Weiterentwicklungen
教师的诊断能力——理论和方法的发展
- 批准号：
260656536 - 财政年份：2014
- 资助金额：
-- - 项目类别：
Scientific Networks
Methodische Entwicklung und Implementierung eines Wissensmanagementsystems für die Arbeitsvorbereitung im Bauunternehmen
有条不紊地开发和实施建筑公司工作准备知识管理系统
- 批准号：
207133837 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants
Konzeptionelle, methodische und technische Grundlagen zur induktiven Erstellung von Referenzmodellen (Reference Model Mining)
归纳创建参考模型的概念、方法和技术基础（参考模型挖掘）
- 批准号：
212900410 - 财政年份：2012
- 资助金额：
-- - 项目类别：
Research Grants
Ein Rahmen für die Wirtschaftsethik: Methodische Grundlagen und Regeln
商业道德框架：方法基础和规则
- 批准号：
202274614 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Begriffe der Moderne. Begriffsgeschichte als methodische Innovation und Selbstreflexion der Geisteswissenschaften 1920 - 1970
现代性的概念。
- 批准号：
208639537 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Kontexteffekte in der Lern-Lehrforschung: Methodische Herausforderungen bei der Schätzung und Interpretation von Mehrebenenanalyse
学习和教学研究中的情境效应：多层次分析估计和解释的方法论挑战
- 批准号：
185920484 - 财政年份：2010
- 资助金额：
-- - 项目类别：
Research Units
Zwischen Ahnenkult und Humangenetik. Genealogie als diskursive und methodische Grundlage der Wissenschaft von der Vererbung, ca. 1860-1945
祖先崇拜和人类遗传学之间。
- 批准号：
40710559 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Priority Programmes
Theoretische und methodische Fundierung von gradierten Akzeptabilitätsurteilen als empirische Basis der Syntaxtheorie
作为句法理论实证基础的分级可接受性判断的理论和方法论基础
- 批准号：
24245124 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Komponentenorientierte Modellbildung und Simulation als methodische Grundlage zur Nutzung von Modulkonzepten bei der Entwicklung mechatronischer Systeme (KOMPMOD)
面向组件的建模和仿真作为机电一体化系统开发中使用模块概念的方法基础 (KOMPMOD)
- 批准号：
22094000 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Teilnahme an einem Aufbauseminar des Institutes for the Advancement of Philosophy for Children (IAPC) zum Thema "Theoretische und methodische Grundlagen des Philosophierens mit Kindern für Fortgeschrittene"
参加儿童哲学促进研究所（IAPC）举办的高级研讨会，主题为“高级学生与儿童进行哲学思考的理论和方法基础”
- 批准号：
15949904 - 财政年份：2005
- 资助金额：
-- - 项目类别：
Research Grants