Zhiming Liu
21 works on record
Works
Formal methods and software engineering
Foundations of Health Informatics Engineering and Systems
Theoretical Aspects of Computing -- ICTAC 2013
Mechanical and Electronics Engineering VI
Engineering Trustworthy Software Systems
Formal Aspects of Component Software
Bioreactors
Mai lun
Nong ye hong guan jue ce
Zhongguo te se she hui zhu yi she hui jian she
Dependable Software Engineering : Theories, Tools, and Applications
Domain Modeling and the Duration Calculus
Automated Technology for Verification and Analysis
Unifying Theories of Programming and Formal Engineering Methods
Theoretical Aspects of Computing - ICTAC 2007
Theoretical Aspects of Computing - ICTAC 2004
Theories of Programming and Formal Methods
Theoretical Aspects of Computing - ICTAC 2022
Mathematical Frameworks for Component Software
History of Pushing Back Pictures
Research on the Construction of Practical Teaching System for Digital Media Art and Design Majors