中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共6条，第1-6条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
同步合成Petri网系统活性与无死锁性的保持性 期刊论文
软件学报, 2003, 卷号: 014, 期号: 012, 页码: 1977
作者:  蒲飞;  陆维明
收藏  |  浏览/下载：70/0  |  提交时间：2020/01/10
基于petri网语言的并发系统性质研究英文 期刊论文
软件学报, 2001, 卷号: 12, 期号: 4, 页码: 512
作者:  蒋昌俊;  陆维明
收藏  |  浏览/下载：19/0  |  提交时间：2020/01/10
基于图文法的并发系统状态测试方法及其实现 期刊论文
软件学报, 1996, 卷号: 007, 期号: 010, 页码: 587
作者:  周龙骧;  徐建礼
收藏  |  浏览/下载：25/0  |  提交时间：2020/01/10
用于描述面向对象并发系统的实用图文法模型 期刊论文
软件学报, 1995, 卷号: 006, 期号: A01, 页码: 170
作者:  徐建礼;  周龙骧
收藏  |  浏览/下载：27/0  |  提交时间：2020/01/10
ADA---DDBMS中的并发控制 期刊论文
软件学报, 1994, 卷号: 005, 期号: 012, 页码: 51
作者:  陈东辉;  韦梓楚
收藏  |  浏览/下载：97/0  |  提交时间：2020/01/10
ADA—DDBMS中的并发控制 期刊论文
软件学报, 1994, 卷号: 5.0, 期号: 012, 页码: 51-56
作者:  陈东辉;  韦梓楚
收藏  |  浏览/下载：86/0  |  提交时间：2021/01/14
事务管理  并发控制  ADA－DDBMS  数据库