UM

Browse/Search Results:  1-10 of 11 Help

Selected(0)Clear Items/Page:    Sort:
Organism dual RNA-seq reveals the importance of BarA/UvrY in Vibrio parahaemolyticus virulence Journal article
FASEB Journal, 2020,Volume: 34,Issue: 6,Page: 7561-7577
Authors:  Zhang W.;  Xie R.;  Zhang X.D.;  Lee L.T.O.;  Zhang H.;  Yang M.;  Peng B.;  Zheng J.
Adobe PDF | Favorite |  | TC[WOS]:1 TC[Scopus]:1 | Submit date:2021/03/03
Bara  C. Elegans  Organism Dual Rna-seq  Uvry  V. Parahaemolyticus  Virulence Factor  
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 | Favorite |  | TC[WOS]:10 TC[Scopus]:13 | 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 | Favorite |  | TC[WOS]:281 TC[Scopus]:340 | 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 |  | TC[WOS]:0 TC[Scopus]: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 |  | TC[WOS]:0 TC[Scopus]: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 |  | TC[WOS]:0 TC[Scopus]: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 |  | TC[WOS]:3 TC[Scopus]:5 | 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 |  | TC[WOS]:0 TC[Scopus]:30 | 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 |  | TC[WOS]:20 TC[Scopus]:30 | 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 |  | TC[WOS]:2 TC[Scopus]:2 | Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic