刷新
{{item.name}}会员
Livelock, Lockout, and Liveness in Networks of CommunicatingFinite-State Processes
通信有限状态过程网络中的活锁、锁定和活跃性
基本信息
- 批准号：8505873
- 负责人：
- 金额：$ 8.09万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1985
- 资助国家：美国
- 起止时间：1985-07-01 至 1987-12-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 }}
Scott Smolka其他文献
Scott Smolka的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Scott Smolka', 18)}}的其他基金
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
CPS：前沿：协作研究：医疗网络物理系统的组合、近似和定量推理
- 批准号：
1446832 - 财政年份：2015
- 资助金额：
$ 8.09万 - 项目类别：
Continuing Grant
2014 CPS Medical Devices Workshop Travel Support
2014年CPS医疗器械研讨会差旅支持
- 批准号：
1430010 - 财政年份：2014
- 资助金额：
$ 8.09万 - 项目类别：
Standard Grant
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
使用心脏电生理模型对 ICD 进行闭环形式验证
- 批准号：
1445770 - 财政年份：2014
- 资助金额：
$ 8.09万 - 项目类别：
Continuing Grant
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation With a Focus on Embedded Control and Systems Biology
合作研究：以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释
- 批准号：
0926190 - 财政年份：2009
- 资助金额：
$ 8.09万 - 项目类别：
Standard Grant
LMC: A System for the Specification and Evaluation of Logic-Based Model Checking
LMC：基于逻辑的模型检查的规范和评估系统
- 批准号：
9705998 - 财政年份：1997
- 资助金额：
$ 8.09万 - 项目类别：
Continuing Grant
Practical Techniques for the Design, Specification, Verification, and Implementation of Concurrent Systems
并发系统设计、规范、验证和实现的实用技术
- 批准号：
9505562 - 财政年份：1996
- 资助金额：
$ 8.09万 - 项目类别：
Standard Grant
CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
CONCUR 95 - 第六届并发理论国际会议；
- 批准号：
9529068 - 财政年份：1995
- 资助金额：
$ 8.09万 - 项目类别：
Standard Grant
CONCUR '93 - Fourth International Conference on Concurrency Theory; August 23-26, 1993; Germany
CONCUR 93 - 第四届并发理论国际会议；
- 批准号：
9311650 - 财政年份：1993
- 资助金额：
$ 8.09万 - 项目类别：
Standard Grant
Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems
概率和实时并发系统的代数推理
- 批准号：
9208585 - 财政年份：1992
- 资助金额：
$ 8.09万 - 项目类别：
Continuing Grant
Concur '92--Third International Conference on Concurrency Theory in Stony Brook, NY on August 24-27, 1992
Concur 92——1992 年 8 月 24-27 日在纽约州石溪举行的第三届并发理论国际会议
- 批准号：
9201450 - 财政年份：1992
- 资助金额：
$ 8.09万 - 项目类别：
Standard Grant
相似海外基金
Development of optimal joint strategies and an intelligent decision model for lockout/tagout, maintenance and production in a smart manufacturing context
开发智能制造背景下的上锁/挂牌、维护和生产的最佳联合策略和智能决策模型
- 批准号：
577072-2022 - 财政年份：2022
- 资助金额：
$ 8.09万 - 项目类别：
Alliance Grants