Skip navigation

Items where Author is "Finney, K."

Items where Author is "Finney, K."

Up a level
Export as [feed] RSS
Group by: Item Type | Uncontrolled Keywords | No Grouping
Jump to: Article | Monograph
Number of items: 2.


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:


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).

This list was generated on Fri Jun 5 22:31:05 2020 UTC.