刷新
{{item.name}}会员
Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme
在复杂生产自动化系统的设计中，图形规范和实时验证的正式和有条理的集成
基本信息
- 批准号：5135348
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Priority Programmes
- 财政年份：1998
- 资助国家：德国
- 起止时间：1997-12-31 至 2006-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. Thomas Kropf其他文献
Professor Dr. Thomas Kropf的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professor Dr. Thomas Kropf', 18)}}的其他基金
Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen
结合形式和半形式技术验证基于 C 的系统描述
- 批准号：
5372288 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Research Grants
相似海外基金
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