Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 1991
  2. The Varieties of Refinement

    Jacob, J. L., Morris, J. M. & Shaw, R. C., 1991, p. 441--455.

    Research output: Contribution to conferencePaper

  3. Two Refinement Case Studies

    Woodcock, J., 1991, p. 118-140.

    Research output: Contribution to conferencePaper

  4. System designs for very large scale acquisition of environmental parameters

    Chesmore, E. D., 1 Jan 1991, p. 66-82.

    Research output: Contribution to conferenceOther

  5. Silence signalling in a time encoded speech system

    Phipps, T. C. & Chesmore, E. D., 1 May 1991, p. 101-104.

    Research output: Contribution to conferenceOther

  6. The Basic Integrity Theorem

    Jacob, J. L., 1 Jun 1991, p. 89--97.

    Research output: Contribution to conferencePaper

  7. Advanced systems for environmental pollution monitoring on a large scale basis

    Chesmore, E. D., 1 Jul 1991, p. 321-325.

    Research output: Contribution to conferenceOther

  8. Artificial intelligence techniques in HF system design

    Chesmore, E. D., 1 Jul 1991, p. 17-20.

    Research output: Contribution to conferenceOther

  9. Transputer-based real-time simulation of helicopter dynamics for advanced flight control applications

    Lawes, S. T., Clarke, T. & Taylor, P., 1 Aug 1991, p. 289-94.

    Research output: Contribution to conferenceOther

  10. Low rate speech encoding: new algorithms and results

    Phipps, T. C. & Chesmore, E. D., 1 Sep 1991.

    Research output: Contribution to conferenceOther

  11. System design approaches for the acquisition and transmission of environmental parameters

    Chesmore, E. D., 1 Sep 1991, p. 574-579.

    Research output: Contribution to conferenceOther

  12. The application of parallel computing to the design of advanced helicopter flight control systems via real-time simulation

    Lawes, S. T., Clarke, T. & Taylor, P., 1 Sep 1991, p. 104-8.

    Research output: Contribution to conferenceOther

  13. 1992
  14. A Formal Approach for Security Evaluation

    Shi, Q. & McDermid, J. A., 1992.

    Research output: Contribution to conferencePaper

  15. Ada for High Integrity Systems

    Hutcheon, A. D., Jepson, B. J., Jordan, D. T., McDermid, J. A. & Wand, I. C., 1992.

    Research output: Contribution to conferencePaper

  16. An Abstract View of Sorted Unification

    Frisch, A. M., Cohn, A. G. & Kapur, D., 1992, p. 178-192.

    Research output: Contribution to conferencePaper

  17. An Empirical Analysis of Terminological Representation Systems

    Heinsohn, J., Kudenko, D., Nebel, B. & Profitlich, H-J., 1992, p. 767-773.

    Research output: Contribution to conferencePaper

  18. An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems

    Uribe, T. E., Frisch, A. M. & Mitchell, M. K., 1992, p. 721-725.

    Research output: Contribution to conferencePaper

  19. Characterisation of real and phantom tissues using coaxial sensors

    Clarke, R. N., Preece, A. W., Robinson, M. P. & Jenkins-Etzel, S., 1992.

    Research output: Contribution to conferencePaper

  20. Construction and measurement of tissue equivalent materials for simulation of dielectric and thermal properties

    Robinson, M. P., Green, J. L., Preece, A. W., Clarke, R. N. & Richardson, M. J., 1992, p. 33. 1 p.

    Research output: Contribution to conferencePaper

  21. Dependable Software - The State of the Art

    McDermid, J. A., 1992, p. 25/6-25/14.

    Research output: Contribution to conferencePaper

  22. Detection and characterisation of breast tumours by dielectric imaging

    Robinson, M. P., Green, J. L. & Preece, A. W., 1992, p. 9-10. 1 p.

    Research output: Contribution to conferencePaper

  23. Dielectric imaging of breast tumours

    Robinson, M. P., 1992.

    Research output: Contribution to conferencePaper

  24. Dielectric imaging of the breast

    Robinson, M. P., Green, J. L., Johnson, R. H. & Preece, A. W., 1992, p. 119. 1 p.

    Research output: Contribution to conferencePaper

  25. Formalizing and Validating Complex Security Requirements

    Morris, P., McDermid, J. A., Thuraisingham, B. M. & Landwehr, C. E., 1992, p. 113-124.

    Research output: Contribution to conferencePaper

  26. Incremental processing of Z specifications

    Vasconcelos, A. M. L. D., McDermid, J. A., Diaz, M. & Groz, R., 1992, p. 53-69.

    Research output: Contribution to conferencePaper

  27. Integrated Techniques for Software Safety Analysis

    Fenelon, P. & McDermid, J. A., 1992, p. 2/1 - 2/16.

    Research output: Contribution to conferencePaper