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