Item Details

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
20121029
Published
University of Virginia, Department of Computer Science, 2002
Published Date
2002
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online