Search research publications and outputs

  1. Addressing Quality Requirements in GIS Architectures

    Habli, I. & Kelly, T., 2005, 8th International Conference of Global Spatial Data Infrastructure.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  2. Artificial Immune Systems

    Timmis, J., Sammut, C. (ed.) & Webb, G. I. (ed.), 2010, Encyclopedia of Machine Learning. Springer, p. 40-44 5 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  3. Immunecomputing

    Timmis, J. & Meyers, R. A. (ed.), 2009, Encyclopedia of Complexity and Systems Science. Springer, p. 4776-4788 13 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  4. Programming Phase: Formal Methods

    Paige, R. F., Woodcock, J., Brooke, P. J. & Cavalcanti, A., 2010, Encyclopedia of Software Engineering. Taylor and Francis, p. 772-785 14 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  5. Safety Critical Software

    McDermid, J. A., 2012, Encyclopedia of Aerospace Engineering. Blockley, R. & Shyy, W. (eds.). John Wiley & Sons

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary