Z. Luo

Publication Activity (10 Years)

Years Active: 1989-1997
Publications (10 Years): 0

Publications

E. J. Younger, Keith H. Bennett, Z. Luo
A Formal Transformation and Refinement Method for Concurrent Programs. ICSM (1997)
E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. ICSM (1996)
E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull
Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis. WCRE (1996)
Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo
Bylands: reverse engineering safety-critical systems. ICSM (1995)
L. Wu, Z. Luo, J. Zhou, H. Wang
An Auto-picking Stacking velocity Algorithm Based on an AI and PR Approach. Int. J. Pattern Recognit. Artif. Intell. 3 (1) (1989)