Josef Strnadel. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking. In Hana Kubátová, Martin Novotný, Amund Skavhaug, editors, Euromicro Conference on Digital System Design, DSD 2017, Vienna, Austria, August 30 - Sept. 1, 2017. pages 352-355, IEEE, 2017. [doi]
@inproceedings{Strnadel17,
title = {On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking},
author = {Josef Strnadel},
year = {2017},
doi = {10.1109/DSD.2017.12},
url = {http://doi.ieeecomputersociety.org/10.1109/DSD.2017.12},
researchr = {https://researchr.org/publication/Strnadel17},
cites = {0},
citedby = {0},
pages = {352-355},
booktitle = {Euromicro Conference on Digital System Design, DSD 2017, Vienna, Austria, August 30 - Sept. 1, 2017},
editor = {Hana Kubátová and Martin Novotný and Amund Skavhaug},
publisher = {IEEE},
isbn = {978-1-5386-2146-2},
}