Michael R. Moulding

Publication Activity (10 Years)

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

Publications

Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach
Formal methods into practice: case studies in the application of the B method. IEE Proc. Softw. Eng. 144 (2) (1997)
J. W. H. Daniel, Michael R. Moulding
Exploiting application parallelism in knowledge-based systems: an experimental method. Concurr. Pract. Exp. 8 (1) (1996)
J. W. H. Daniel, J. A. Miles, Michael R. Moulding
Engineering knowledge based data fusion systems: solving the run-time bottleneck. IEA/AIE (2) (1989)
Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding
Software Fault Tolerance: An Evaluation. IEEE Trans. Software Eng. 11 (12) (1985)