Item Details

Print View

A Formal Semantics for Dynamic Fault Trees

Coppit, David; Sullivan, Kevin; Dugan, Joanne
Format
Report
Author
Coppit, David
Sullivan, Kevin
Dugan, Joanne
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 2002
Published Date
2002
Rights
All rights reserved (no additional license for public reuse)
Collection
Libra Open Repository

Availability

Access Online