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

Authors: ;

Zusammenfassung:

-

Publication Date: 2014/10/14

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

Keyword: Verification