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

Autor: Koutny, Maciej1 maciej.koutny@ncl.ac.uk, Randell, Brian1 brian.randell@ncl.ac.uk
Zdroj: Fundamenta Informaticae. 2009, Vol. 97 Issue 1-2, p41-91. 51p. 28 Diagrams.
Databáze: Academic Search Ultimate