On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Josef Strnadel' in Google

runs on WebDSL