Skip navigation

Items where Author is "Finney, K."

Items where Author is "Finney, K."

[up] Up a level
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 logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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 logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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:10.1049/ip-sen:19990600)

passenger

Galea, E. R. ORCID logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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 logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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 logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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 logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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: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:10.1049/ip-sen:19990600)

systems

Galea, E. R. ORCID logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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 logoORCID: https://orcid.org/0000-0002-0001-6665, Blackshields, D. ORCID logoORCID: https://orcid.org/0000-0001-8940-0024, Finney, K. and Cooney, D. P. ORCID logoORCID: https://orcid.org/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 Sun Dec 22 13:46:01 2024 UTC.