Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1989
  2. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  3. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper

  4. 1987
  5. Assurance in High Integrity Software

    McDermid, J. A., 1987.

    Research output: Working paper

  6. 1985
  7. Calculating the Variance of Seasonally Adjusted Series

    Burridge, P. & Wallis, K. F., 1985.

    Research output: Working paper

  8. 1982
  9. Ada on multiple processors

    McDermid, J. A., 1982, Royal Signals and Radar Establishment, 9 p.

    Research output: Working paper

  10. 1980
  11. Production of Hierarchic Checkpoint Structures

    McDermid, J. A., 1980, Royal Signals and Radar Establishment.

    Research output: Working paper

  12. 1979
  13. An introduction to the FLEX computer system

    Foster, J. M., Moir, C. I., Currie, I. F., McDermid, J. A., Edwards, P. W., Morison, J. D. & Pygott, C. H., 1979, Defense Technical Information Center, 22 p.

    Research output: Working paper

  14. Fault Tolerant Computing

    McDermid, J. A., 1979, Royal Signals and Radar Establishment, 25 p.

    Research output: Working paper

  15. 1977
Previous 1...38 39 40 41 42 Next