1997 |
4 | | 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 Proceedings - Software 144(2): 119-133 (1997) |
1996 |
3 | | J. W. H. Daniel,
Michael R. Moulding:
Exploiting application parallelism in knowledge-based systems: an experimental method.
Concurrency - Practice and Experience 8(1): 1-18 (1996) |
1989 |
2 | EE | 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: 748-757 |
1985 |
1 | | Tom Anderson,
Peter A. Barrett,
Dave N. Halliwell,
Michael R. Moulding:
Software Fault Tolerance: An Evaluation.
IEEE Trans. Software Eng. 11(12): 1502-1510 (1985) |