中国科学院机构知识库网格系统: 检索

机构

采集方式

_filter

筛选

浏览/检索结果: 共2条，第1-2条

帮助

条数/页：排序方式：
	Petri网共享T型子网合成公平性分析期刊论文 OAI收割计算机科学, 2007, 卷号: 34, 期号: 8, 页码: 271-274 夏传良收藏 \| 浏览/下载：91/9 \| 提交时间：2011/07/01 Petri网合成有界性公平性性质分析共享子网合成公平性分析网系统系统性质系统设计继承关系合成性质合成方法充分条件制造考察
	时态逻辑形式化描述并发系统性质期刊论文 OAI收割海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 形式化方法并发系统时态逻辑模型检测时态逻辑形式化描述系统性质并发系统状态迁移序列形式化方法逻辑描述反应式运用语义语法应用验证模型检测基础