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
development emergency formal specification passenger prototype railEXODUS software software quality specification languages systems train
Number of items: 11.

development

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

emergency

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

formal specification

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)

passenger

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

prototype

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

railEXODUS

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

software

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

software quality

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)

specification languages

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)

systems

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

train

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 Nov 22 03:53:32 2024 UTC.