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., 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 Jul 19 18:51:34 2019 UTC.