Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation

Authors: Markus Becker, Universität Paderborn, DE; Christoph Kuznik, Universität Paderborn, DE

Abstract:

-

Publication Date: 2014/10/14

Location of Publication: Forum on specification & Design Languages (FDL), München, DE

Keyword: Verification