@dblp

Process Modelling to Support Dependability Arguments.

, and . DSN, page 113-122. IEEE Computer Society, (2002)

Links and resources

Tags