CEC

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)

ESPRIT

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:https://doi.org/10.1049/ip-sen:19990600)

UK Civil Aviation Authority (CAA)

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P., Cooney, D.P. ORCID: 0000-0002-2341-0315 and Siddiqui, A. ORCID: 0000-0003-1090-871X (2003) The AASK Database V3.0: a database of human experience during aircraft evacuation incidents. In: Fire Safety Science - Proceedings of the Seventh International Symposium. IAFSS Symposiums (7). International Association for Fire Safety Science, Greenwich, London, UK, pp. 865-876. ISBN 0954534808 ISSN 1817-4299 (doi:https://doi.org/10.3801/IAFSS.FSS.7-865)

UK Civil Aviation Authority (CAA) - E.R. Galea

Galea, E.R. ORCID: 0000-0002-0001-6665 , Finney, K.M., Dixon, A.J.P, Siddiqui, A. ORCID: 0000-0003-1090-871X and Cooney, D.P. ORCID: 0000-0002-2341-0315 (2004) The AASK database V4.0: aircraft accident statistics and knowledge. A database to record human experience of evacuation in aviation accidents. In: Fourth Triennial International Fire and Cabin Safety Research Conference, 15–19 Nov 2004, Lisbon, Portugal.

UK Department for Trade and Industryy (DTI)

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)

UK Engineering and Physical Sciences Research Council (EPSRC)

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)

UK Engineering and Physical Sciences Research Council (ESPRC)

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:https://doi.org/10.1049/ip-sen:19990600)

United States Department of Transportation (Grant No. RR 28 DB036; RR 93 JB049; RR93A1 LT399/MT399)

Galea, E. R. ORCID: 0000-0002-0001-6665 , Blackshields, D. ORCID: 0000-0001-8940-0024 , Finney, K. and Cooney, D. P. ORCID: 0000-0002-2341-0315 (2014) Passenger train emergency systems: development of prototype railEXODUS software for U.S. passenger rail car egress. Technical Report. Fire Safety Engineering Group (FSEG).