Search research publications and outputs

  1. Article › Research › Peer-reviewed
  2. Chapter › Research
  3. Formal Methods: Use and Relevance for the Development of Safety Critical Systems

    McDermid, J. A. & Bennett, P. A. (ed.), 1993, Safety Aspects of Computer Control. Oxford: Butterworth Heinemann, p. 96-153 58 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Other chapter contribution › Research
  5. The wound response of tomato plants: analysis of local and long-range signalling events

    Bowles, D. J., 1997, ESSAYS IN BIOCHEMISTRY, VOL 32, 1997. LONDON: PORTLAND PRESS LTD, p. 161-169 9 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution