UM

Browse/Search Results:  1-10 of 10 Help

Selected(0)Clear Items/Page:    Sort:
Internationalization of Traditional/Complementary Medicine products: market entry as medicine Journal article
CHINESE MEDICINE, 2018,Volume: 13
Authors:  Li, Jiatong;  Zhu, Jianfan;  Hu, Hao;  Harnett, Joanna E.;  Lei, Chi Ieong;  Chau, Ka Yin;  Chan, Ging;  Ung, Carolina Oi Lam
View  |  Adobe PDF(933Kb)  |  Favorite  |  View/Download:415/8  |  Submit date:2018/10/30
Traditional Chinese Medicines  Chinese Patent Medicines  Proprietary Chinese Medicines  Traditional And Complementary Medicine  Registration  Internationalization  Quality  Safety  Efficacy  
Cyber security and privacy issues in smart grids Journal article
IEEE Communications Surveys and Tutorials, 2012,Volume: 14,Issue: 4,Page: 981
Authors:  Liu J.;  Xiao Y.;  Li S.;  Liang W.;  Chen C.L.P.
View  |  Adobe PDF(1244Kb)  |  Favorite  |  View/Download:1020/220  |  Submit date:2018/10/30
Accountability  Ami  Privacy  Scada  Security  Smart Grid  
rCOS: A Relational Calculus of Components Journal article
World Scientific Press, 2006,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:3/0  |  Submit date:2019/07/30
A Relational Calculus of Components Journal article
Book Series: Series on Component-Based Software Development, 2006,Volume: 2,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:3/0  |  Submit date:2019/07/30
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Journal article
International Conference on Formal Engineering Methods, 2003,Page: 641-664
Authors:  Zhiming Liu;  Xiaoshan Li;  He Jifeng;  Yifeng Chen
Favorite  |  View/Download:7/0  |  Submit date:2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification  
A relational model for formal object-oriented requirement analysis in UML Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003,Volume: 2885,Page: 641
Authors:  Liu Z.;  Jifeng H.;  Li X.;  Chen Y.
Favorite  |  View/Download:5/0  |  Submit date:2018/10/30
Conceptual Models  Object-orientation  Requirement Specification  Uml  Use-cases  
Modelling and verification of a network player system with DCValid Conference paper
Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic  
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  |  View/Download:5/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification