Andrew J Galloway

Search results

• 2005

  Proof versus testing in the context of Safety Standards

  Galloway, A., Paige, R. F., Tudor, N. J., Weaver, R. A., Toyn, I. & McDermid, J. A., 2005.

  Research output: Contribution to conference › Paper › peer-review

• 2004

  Practical Formal Specification for Embedded Control Systems

  Iwu, F., Galloway, A. J., Toyn, I. & McDermid, J. A., 2004.

  Research output: Contribution to conference › Paper › peer-review

• The Simulink/Stateflow Analyser

  Galloway, A. J., Toyn, I., Iwu, F. & McDermid, J. A., 2004.

  Research output: Contribution to conference › Paper › peer-review

• 2002

  Automation of System Safety Analysis: Possibilities and Pitfalls

  Galloway, A., McDermid, J. A., Murdoch, J. & Pumfrey, D. J., 2002.

  Research output: Contribution to conference › Paper › peer-review

• 2000

  ZB 2000: Formal Specification and Development in Z and B

  Bowen, J. P., Dunne, S., Galloway, A. & King, S., 2000.

  Research output: Contribution to conference › Paper › peer-review

• 1998

  Experience with the Application of Discrete Formal Methods to the Development of Engine Controllers

  Galloway, A. J., Cockram, T. J. & McDermid, J. A., 1998.

  Research output: Contribution to conference › Paper › peer-review