Domain Modeling and the Duration Calculus

by George, Chris, Liu, Zhiming, Woodcock, Jim
Published 2020

Formal Methods and Hybrid Real-Time Systems

by Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Published 2020

Engineering Trustworthy Software Systems

by Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Published 2020

Theoretical Aspects of Computing - ICTAC 2007

by Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Published 2020