Michael R. Moulding

According to our database, Michael R. Moulding authored at least 4 papers between 1985 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Formal methods into practice: case studies in the application of the B method.

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

IEE Proc. Softw. Eng., 1997

1996

Exploiting application parallelism in knowledge-based systems: an experimental method.

J. W. H. Daniel, Michael R. Moulding

Concurr. Pract. Exp., 1996

1989

Engineering knowledge based data fusion systems: solving the run-time bottleneck.

J. W. H. Daniel, J. A. Miles, Michael R. Moulding

Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA, 1989

1985

Software Fault Tolerance: An Evaluation.

Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding

IEEE Trans. Software Eng., 1985