English | 繁體

Search in the results

UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
Reliability analysis of standby systems with multi-state elements subject to constant transition rates Journal article
Jia,Heping, Levitin,Gregory, Ding,Yi, Song,Yonghua. Reliability analysis of standby systems with multi-state elements subject to constant transition rates[J]. Quality and Reliability Engineering International, 2018, 35(1), 318-328.
Authors:  Jia,Heping;  Levitin,Gregory;  Ding,Yi;  Song,Yonghua
Favorite | TC[WOS]:14 TC[Scopus]:16  IF:2.2/2.2 | Submit date：2021/03/09
Constant Transition Rates  Iterative Algorithm  Multi-state Elements  Reliability Analysis  Standby Systems  
Using transition systems to unify UML models Conference paper
Liu Z., Li X., He J.. Using transition systems to unify UML models[C], 2002, 535-547.
Authors:  Liu Z.;  Li X.;  He J.
Favorite | TC[WOS]:8 TC[Scopus]:12 | Submit date：2019/02/14
Conceptual Model  Object-orientation  Transition Systems  Uml  Use-case Model  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码:327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite | TC[Scopus]:0 | Submit date：2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification