Integrating Safety and Formal Analyses using UML and PFS.

Iwu, F., Galloway, A., McDermid, J. and Toyn, I. (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.
Institution: The University of York
Academic Units: The University of 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: 10.1016/j.ress.2005.11.060

Share / Export

Statistics