Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
Scalable context-dependent analysis of emergency egress models
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
24
Issue number
2
First page of article
267
ISSN of journal
1433-299X
Year of publication
2012
Number of additional authors
4
Additional information
<25>This paper is a step towards providing deployment arguments for “smart environment” designs. Concerned with providing measures of occupants’ experiences of their environment and demonstrating that a particular design will satisfy certain experience requirements. On-going research is concerned with hospital out-patient environments. International collaboration between CNR-ISTI in Pisa, Edinburgh and Newcastle. Pilot studies at Sheffield Hallamshire hospital and the Royal Free Hospital. Further negotiations are on-going with the Swansea future hospital project at the Morriston Hospital, prior to bid for funding.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
