×
验证码:
换一张
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
Image search
Paste the image URL
Home
Faculties & Institutes
Scholars
Publications
Subjects
Statistics
News
Search in the results
Faculties & Institutes
Faculty of Scien... [2]
Authors
LI XIAOSHAN [1]
XU QIWEN [1]
Document Type
Conference paper [2]
Journal article [2]
Date Issued
2005 [1]
2004 [1]
2000 [1]
1999 [1]
Language
英語English [4]
Source Publication
Discrete Applied... [1]
Proceedings - 1s... [1]
Proceedings - In... [1]
Ruan Jian Xue Ba... [1]
Indexed By
SCIE [2]
Funding Organization
Funding Project
×
Knowledge Map
UM
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
Browse/Search Results:
1-4 of 4
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
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Submit date Ascending
Submit date Descending
QRDChecker: A model checking tool for QRDC
Journal article
Pei Y., Xu Q.-W., Li X.-D., Zheng G.-L.. QRDChecker: A model checking tool for QRDC[J]. Ruan Jian Xue Bao/Journal of Software, 2005, 16(3), 355-364.
Authors:
Pei Y.
;
Xu Q.-W.
;
Li X.-D.
;
Zheng G.-L.
Favorite
|
TC[Scopus]:
0
|
Submit date:2019/04/04
Finitary Property
Interval Temporal Logic
Model Checking
Reactive System
Completeness of temporal logics over infinite intervals
Journal article
Wang H., Xu Q.. Completeness of temporal logics over infinite intervals[J]. Discrete Applied Mathematics, 2004, 136(1), 87-103.
Authors:
Wang H.
;
Xu Q.
Favorite
|
TC[WOS]:
6
TC[Scopus]:
7
|
Submit date:2019/04/04
Completeness
Henkin's Construction
Interval Temporal Logic
Modelling and verification of a network player system with DCValid
Conference paper
Wang J., Xu Q., Ma H.. Modelling and verification of a network player system with DCValid[C], 2000, 44-49.
Authors:
Wang J.
;
Xu Q.
;
Ma H.
Favorite
|
TC[WOS]:
2
TC[Scopus]:
2
|
Submit date:2019/04/04
Multimedia Systems
Real-time
Specification And Verification
Temporal Logic
Specification and simulation of a concurrent real-time system
Conference paper
Li X.. Specification and simulation of a concurrent real-time system[C], 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:IEEE COMPUTER SOC, 1999, 197-204.
Authors:
Li X.
Favorite
|
TC[WOS]:
2
TC[Scopus]:
0
|
Submit date:2019/02/14
Interval Temporal Logic
Concurrent Real-time Systems
Executable Speci Cation
Simulation And Veri Cation