×
验证码:
换一张
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... [1]
Authors
LI XIAOSHAN [1]
Document Type
Conference paper [1]
Journal article [1]
Date Issued
2008 [1]
2004 [1]
Language
英語English [2]
Source Publication
Formal Aspects o... [1]
Lecture Notes in... [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
Issue Date Ascending
Issue Date Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Submit date Ascending
Submit date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Modelling with relational calculus of object and component systems - RCOS
Conference paper
Chen Z., Hannousse A.H., Van Hung D., Knoll I., Li X., Liu Z., Liu Y., Nan Q., Okika J.C., Ravn A.P., Stolz V., Yang L., Zhan N.. Modelling with relational calculus of object and component systems - RCOS[C], 2008, 116-145.
Authors:
Chen Z.
;
Hannousse A.H.
;
Van Hung D.
;
Knoll I.
;
Li X.
; et al.
Favorite
|
TC[WOS]:
8
TC[Scopus]:
12
|
Submit date：2019/02/14
Design
Refinement
Requirements Modelling
Transformation
Unifying proof methodologies of duration calculus and timed linear temporal logic
Journal article
Liu Z., Ravn A.P., Li X.. Unifying proof methodologies of duration calculus and timed linear temporal logic[J]. Formal Aspects of Computing, 2004, 16(2), 140-154.
Authors:
Liu Z.
;
Ravn A.P.
;
Li X.
Favorite
|
TC[WOS]:
3
TC[Scopus]:
5
|
Submit date：2019/02/14
Design
Real-time
Refinement
Specification
Verification
