Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques

Maciej Koutny, Brian Randell. Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundamenta Informaticae, 97(1-2):41-91, 2009. [doi]

Authors

Maciej Koutny

This author has not been identified. Look up 'Maciej Koutny' in Google

Brian Randell

This author has not been identified. Look up 'Brian Randell' in Google