刷新
{{item.name}}会员
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
基本信息
- 批准号：9996095
- 负责人：
- 金额：$ 1.13万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1998
- 资助国家：美国
- 起止时间：1998-09-01 至 2000-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
W. Rance Cleaveland其他文献
W. Rance Cleaveland的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('W. Rance Cleaveland', 18)}}的其他基金
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology
合作研究：以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释
- 批准号：
0926194 - 财政年份：2009
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
Verification of Open-Loop Embedded Control Systems
开环嵌入式控制系统的验证
- 批准号：
0820072 - 财政年份：2008
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
Heterogeneous Specification Formalisms for Reactive Systems
反应式系统的异构规范形式
- 批准号：
9988489 - 财政年份：2000
- 资助金额：
$ 1.13万 - 项目类别：
Continuing Grant
NSF Young Investigator: Theoretical Underpinnnings of Formal Analysis of Concurrent Systems
NSF 青年研究员：并发系统形式分析的理论基础
- 批准号：
9996312 - 财政年份：1999
- 资助金额：
$ 1.13万 - 项目类别：
Continuing Grant
Specification Formalism for Component-Based Concurrent Systems
基于组件的并发系统的规范形式
- 批准号：
9804091 - 财政年份：1998
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
Specification Formalism for Component-Based Concurrent Systems
基于组件的并发系统的规范形式
- 批准号：
9996086 - 财政年份：1998
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
- 批准号：
9603441 - 财政年份：1997
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
Methodologies for the Automatic Verification of Concurrent Systems
并发系统自动验证方法
- 批准号：
9402807 - 财政年份：1994
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
NSF Young Investigator: Theoretical Underpinnnings of Formal Analysis of Concurrent Systems
NSF 青年研究员：并发系统形式分析的理论基础
- 批准号：
9257963 - 财政年份：1992
- 资助金额：
$ 1.13万 - 项目类别：
Continuing Grant
相似海外基金
U.S.-German Cooperative Research: A Study of Spontaneous Fission
美德合作研究：自发裂变研究
- 批准号：
0128954 - 财政年份：2002
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research to Study Ultrasonic Measurements of Fatigue Damage
美德合作研究疲劳损伤的超声波测量
- 批准号：
0089548 - 财政年份：2001
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research on the Applications of Organolanthanides in Organic Synthesis
美德合作研究有机镧系元素在有机合成中的应用
- 批准号：
9996377 - 财政年份：1999
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research: Energy and Charge Transfer with Functionalized Phenols -- Time-Resolved Photochemical and Radiation Chemical Experiments
美德合作研究：功能化酚的能量和电荷转移——时间分辨光化学和辐射化学实验
- 批准号：
9726193 - 财政年份：1998
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research: Linking Design and Construction with Construction Method Models
美德合作研究：将设计和施工与施工方法模型联系起来
- 批准号：
9726748 - 财政年份：1998
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
A Cooperative U.S.-German Research Project on Computer-Aided Analysis and Design of Hybrid Systems
美德混合系统计算机辅助分析与设计合作研究项目
- 批准号：
9726527 - 财政年份：1998
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research in Migration from the Past: Fitness Characters of Zooplankton from Long-lived Dormant Stages
美德合作研究过去的迁徙：长寿命休眠阶段浮游动物的适应性特征
- 批准号：
9603204 - 财政年份：1997
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research on Discrete Integrable Systems
美德离散可积系统合作研究
- 批准号：
9603239 - 财政年份：1997
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research on Gas Dynamics in Sonoluminescing Bubbles
美德合作研究声致发光气泡中的气体动力学
- 批准号：
9603254 - 财政年份：1997
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant
U.S.-German Cooperative Research in Development and Implementation of Heterogeneous Verification Methods for Distributed Systems
美德合作研究分布式系统异构验证方法的开发和实施
- 批准号：
9603441 - 财政年份：1997
- 资助金额：
$ 1.13万 - 项目类别：
Standard Grant