M. D. Harrison

发表

Editorial: The formal specification of interactive systems

M. D. Harrison, 1996 .

Role of Formalisms

M. D. Harrison, 1995 .

Design of the Human-Machine Interface and the

M. D. Harrison, A. M. Dearden, 1997 .

Animating process-oriented formal descriptions: experiences and lessons

M. D. Harrison, D. W. Bustard, 1992 .

Design, specification and verification of interactive systems '98 : proceedings of the Eurographics workshop in Abingdon, UK, June 3-5, 1998

M. D. Harrison, J. C. Torres, 1998 .

Plan recognition for intelligent advice and monitoring

George R. S. Weir, M. D. Harrison, C. Davenport, 1986 .

Monitoring a target network to support subsequent host simulation

M. D. Harrison, 1985 .