AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Zhiming Liu 刘志明

Zhiming Liu 刘志明

Northwestern Polytechnical University - Xi'an / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 675584
西北工业大学
person_outline Zhiming Liu 刘志明's MOST POPULAR ARTICLES
1-) Real-Time Systems: specification, verification, and analysis prentice Hall, 1996
2-) rCOS: A refinement calculus of object systems Theoretical computer science 365 (1-2), 109-142, 2006
3-) Component-based software engineering: the need to link methods and their theories Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005
4-) A formal semantics of UML sequence diagram Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004
5-) Synthesizing barrier certificates using neural networks Proceedings of the 23rd international conference on hybrid systems …, 2020