×
验证码:
换一张
Forgotten Password?
Stay signed in
Login With UMPASS
English
|
繁體
Login With UMPASS
Log In
ALL
ORCID
TI
AU
PY
SU
KW
TY
JN
DA
IN
PB
FP
ST
SM
Study Hall
Home
Faculties & Institutes
Scholars
Publications
Subjects
Statistics
News
Search in the results
Faculties & Institutes
THE STATE KEY LA... [1]
Faculty of Scien... [1]
Authors
XU QIWEN [1]
Document Type
Patent [1]
Journal article [1]
Date Issued
2016 [1]
2005 [1]
Language
中文Chinese [2]
Source Publication
软件学报 [1]
Indexed By
Funding Organization
Funding Project
×
Knowledge Map
UM
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
Browse/Search Results:
1-2 of 2
Help
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Journal Impact Factor Ascending
Journal Impact Factor Descending
Issue Date Ascending
Issue Date Descending
Submit date Ascending
Submit date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
一种基于电子印迹的视频检测方法及系统
Patent
专利类型: 发明专利, 专利号: CN103324618B, 申请日期: 2012-03-20, 公开日期: 2013-09-25
Authors:
宣东
;
郑元芳
;
赵伟
;
腾劲
;
朱骏达
; et al.
Favorite
|
|
Submit date：2020/06/03
QRDChecker:一个 QRDC 模型检验工具
Journal article
裴玉, 徐启文, 李宣东, 郑国梁. QRDChecker:一个 QRDC 模型检验工具[J]. 软件学报, 2005, 16(03), 355-364.
Authors:
裴玉
;
徐启文
;
李宣东
;
郑国梁
Favorite
|
TC[Scopus]:
0
|
Submit date：2019/05/03
模型检验
有限性性质
反应式系统
时段时序逻辑
