Search research publications and outputs

  1. A Comparison of CS Student Backgrounds at Two Universities

    Pedroni, M. & Oriol, M., 2009.

    Research output: Working paper

  2. A Failure and Recovery Algebra

    McDermid, J. A., 1992.

    Research output: Working paper

  3. A Safe Subset of Statecharts for Safety-Critical Applications

    Shi, F. G., Armstrong, J. M. & McDermid, J. A., 17 Aug 2001.

    Research output: Working paper

  4. A Z Subset for Direct Implementation and Code Generation

    Shi, F. G., McDermid, J. A. & Armstrong, J. M., 17 Nov 2001.

    Research output: Working paper

  5. ASAM II Concepts: Principles Underlying the Construction of Safety Cases Using SAM

    McDermid, J. A., Fenelon, P. & Wilson, S. P., 16 Apr 1999.

    Research output: Working paper

  6. Ada on multiple processors

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

    Research output: Working paper

  7. An Electronic Purse: Specification, Refinement, and Proof

    Stepney, S., Cooper, D. & Woodcock, J., 1 Jul 2000, Oxford: Oxford University Computing Laboratory.

    Research output: Working paper

  8. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1 Dec 1992.

    Research output: Working paper

  9. An Examination of the Efficiency of Sorted Deduction

    Abrams, C. B. & Frisch, A. M., Mar 1993.

    Research output: Working paper

  10. An Introduction to ZedCharts and Its Applications

    Shi, F., McDermid, J. A. & Armstrong, J. M., 17 Jan 2002.

    Research output: Working paper

  11. 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

  12. Assurance in High Integrity Software

    McDermid, J. A., 1987.

    Research output: Working paper

  13. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

  14. Automatic Modelling of 3D Craniofacial Form

    Pears, N. E. & Duncan, C., 22 Jan 2016, p. 1-57, 57 p.

    Research output: Working paper

  15. Comparative Data Mining for Microarrays: A Case Study Based on Multiple Myeloma

    Page, D., Zhan, F., Cussens, J., Waddell, M., Hardin, J., Barlogie, B. & Shaughnessy, Jr., J., 1 Nov 2002.

    Research output: Working paper

Previous 1 2 3 4 Next