CSpace
基于图文法的并发系统状态测试方法及其实现
周龙骧; 徐建礼
1996
Source Publication软件学报
ISSN1000-9825
Volume007Issue:010Pages:587
Abstract在并发系统的研究和开发中,迫切需要一种能正确有效地描述并发系统的动态进程 联结构,动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段。本文介绍一种基于图文法模型的并发系统状态测试方法,该方法与描述并发系统结构和行为的图文法模型相结合,构成了一个并发系统开发支持环境。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/40023
Collection中国科学院数学与系统科学研究院
Affiliation中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
周龙骧,徐建礼. 基于图文法的并发系统状态测试方法及其实现[J]. 软件学报,1996,007(010):587.
APA 周龙骧,&徐建礼.(1996).基于图文法的并发系统状态测试方法及其实现.软件学报,007(010),587.
MLA 周龙骧,et al."基于图文法的并发系统状态测试方法及其实现".软件学报 007.010(1996):587.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[周龙骧]'s Articles
[徐建礼]'s Articles
Baidu academic
Similar articles in Baidu academic
[周龙骧]'s Articles
[徐建礼]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[周龙骧]'s Articles
[徐建礼]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.