Login / Signup

The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation.

Daniele Codetta Raiteri
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases