Integrating Safety and Formal Analyses using UML and PFS.

Iwu, F., Galloway, A., McDermid, J. et al. (1 more author) (2006) Integrating Safety and Formal Analyses using UML and PFS. Reliability Engineering and System Safety, 92 (92). pp. 156-170. ISSN 0951-8320

Abstract

Metadata

Authors/Creators:
  • Iwu, F. (foi1@york.ac.uk)
  • Galloway, A.
  • McDermid, J.
  • Toyn, I.
Dates:
  • Published: January 2006
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 16 Feb 2009 15:16
Last Modified: 16 Feb 2009 15:16
Published Version: http://dx.doi.org/10.1016/j.ress.2005.11.060
Status: Published
Publisher: Elsevier Science B.V., Amsterdam.
Identification Number: https://doi.org/10.1016/j.ress.2005.11.060

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics