Probabilistic Failure Propagation and Transformation Analysis

First Author: Ge X
Attributed to:  Refinement Patterns for Contractual Statecharts funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-04468-7_18

Publication URI: http://dx.doi.org/10.1007/978-3-642-04468-7_18

Type: Book Chapter

Book Title: Computer Safety, Reliability, and Security (2009)

Page Reference: 215-228

ISBN: 978-3-642-04467-0

ISSN: 2731-5525