分类导航

检索结果

已选条件:

Liveness

<符合条件的数据共：1条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Modeling, Analysis, and Control of a Class of Resource Allocation Systems Arising in Concurrent Software.

颁布单位：[University of Michigan] | 颁布时间：2012 | 实施时间：2012 | 学科分类：[Concurrent Software, Deadlock Analysis, Liveness, Modeling, Optimal Control, Petri Nets, Computer Science, Electrical Engineering, Engineering, Science, Electrical Engineering: Systems]

预览 | 原文链接 [浏览：20 下载：6]