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
Collection
Libra Open Repository
In CopyrightIn Copyright
▾See more
▴See less

Availability

Access Online