Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.

David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan

Browse the full ISSRE paper archive.