刷新
{{item.name}}会员
Unterspezifikation in Prozessalgebren
过程代数中的不明确
基本信息
- 批准号：5200336
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：德国
- 项目类别：Research Grants
- 财政年份：2000
- 资助国家：德国
- 起止时间：1999-12-31 至 2000-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 }}
Professorin Dr. Mila Majster-Cederbaum其他文献
Professorin Dr. Mila Majster-Cederbaum的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Professorin Dr. Mila Majster-Cederbaum', 18)}}的其他基金
Kompositionale Analyse Komponenten-basierter Systeme mittels Cross-Checking
使用交叉检查对基于组件的系统进行组成分析
- 批准号：
175932198 - 财政年份：2011
- 资助金额：
-- - 项目类别：
Research Grants
Entwurf und (quantitative) Analyse Komponenten-basierter Systeme
基于组件的系统的设计和（定量）分析
- 批准号：
51503470 - 财政年份：2007
- 资助金额：
-- - 项目类别：
Research Grants
Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung
随机系统验证的等价及其分类
- 批准号：
33853674 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Research Grants
Aktionsverfeinerung in quantitativen und formalen Modellen reaktiver Systeme
反应系统的定量和形式模型中的动作细化
- 批准号：
5364713 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Research Grants