Process Modelling to Support Dependability Arguments

Robin E. Bloomfield, Sofia Guerra. Process Modelling to Support Dependability Arguments. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 113-122, IEEE Computer Society, 2002. [doi]

Authors

Robin E. Bloomfield

This author has not been identified. Look up 'Robin E. Bloomfield' in Google

Sofia Guerra

This author has not been identified. Look up 'Sofia Guerra' in Google