A Formal Semantics for Dynamic Fault Trees

Report
Authors:Coppit, David, Department of Computer ScienceUniversity of Virginia Sullivan, Kevin, Department of Computer ScienceUniversity of Virginia Dugan, Joanne, Department of Computer ScienceUniversity of Virginia
Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Coppit, David, Kevin Sullivan, and Joanne Dugan. "A Formal Semantics for Dynamic Fault Trees." University of Virginia Dept. of Computer Science Tech Report (2002).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
2002