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]
Abstract is missing.