中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
计算机科学国家重点实... [6]
中科院软件所 [3]
软件所图书馆 [1]
综合信息系统技术国家... [1]
作者
Content Type
学位论文 [6]
期刊论文 [5]
Issued Date
Language
中文 [11]
Source
苏州大学学报(工科版... [1]
计算机学报 [1]
计算机工程与设计 [1]
计算机应用研究 [1]
软件学报 [1]
Project
Indexed
EI [1]
EI,WANFANG... [1]
WANFANG [1]
Spnsorship
coventry u... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 11)
Filters
Language：中文
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
基于极小T-不变量增加的Petri网可达性分析
[学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
彭建兵
|
基于极小T-不变量增加的Petri网可达性分析
[学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
彭建兵
|
基于极小T-不变量增加的Petri网可达性分析
[期刊论文]
计算机应用研究, 2010-01-01, 卷号: 27, 期号: 10, 页码: 3798-3802
彭建兵
;
焦莉
|
基于Yices对时间自动机的有界模型检测
[期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
|
基于有色Petri网的Web服务组合建模与分析
[期刊论文]
苏州大学学报(工科版), 2010-01-01, 卷号: 30, 期号: 4, 页码: 14-19
张侃
;
朱稷涵
;
张广泉
|
基于Yices对时间自动机的有界模型检测
[学位论文]
硕士, 中科院软件所: 中科院软件所, 2009-06-05
王晓亮
|
基于整数时间的实时系统符号化模型检测技术
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
晏荣杰
|
离散时间自动机模型检测工具的设计与实现
[学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
张文亮
|
Petri网可达性的综合判定法
[期刊论文]
软件学报, 2004-01-01, 卷号: 15, 期号: 7, 页码: 949-955
胡娟
;
刘力惠
;
范植华
;
李磊
;
王常青
;
周纬杰
|
时间符号迁移图上的可达性分析
[期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
|
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace
