Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation
M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014).
Download
No fulltext has been uploaded.
Journal Article
| English
Author
Becker, Markus;
Kuznik, Christoph
Publishing Year
Journal Title
Forum on Specification & Design Languages (FDL 2014)
LibreCat-ID
Cite this
Becker M, Kuznik C. Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014). Published online 2014.
Becker, M., & Kuznik, C. (2014). Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation. Forum on Specification & Design Languages (FDL 2014).
@article{Becker_Kuznik_2014, title={Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}, journal={Forum on Specification & Design Languages (FDL 2014)}, author={Becker, Markus and Kuznik, Christoph}, year={2014} }
Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification & Design Languages (FDL 2014), 2014.
M. Becker and C. Kuznik, “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation,” Forum on Specification & Design Languages (FDL 2014), 2014.
Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification & Design Languages (FDL 2014), 2014.
Google Scholar