A. J. Harrison

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Peter N. Brett, A. J. Harrison, T. A. Thomas
Schemes for the identification of tissue types and boundaries at the tool point for surgical needles. IEEE Trans. Inf. Technol. Biomed. 4 (1) (2000)
A. J. Harrison, I. D. R. Shannon
The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. SAFECOMP (1995)