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.

Article

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)

Monograph

Galea, E. R. ORCID: 0000-0002-0001-6665, Blackshields, D., 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 Thu Sep 19 10:46:55 2019 UTC.