Publications
Export 1 results:
Author Title Type [ Year
] Filters: Keyword is model checking and Author is F. Arnold [Clear All Filters]
.
2014. A tutorial on interactive Markov chains. Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, Vahrn, Italy. 8453:26–66.
