Uppaal SMC tutorial
Top Cited Papers
- 6 January 2015
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 17 (4), 397-415
- https://doi.org/10.1007/s10009-014-0361-y
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Statistical Model Checking for Stochastic Hybrid SystemsElectronic Proceedings in Theoretical Computer Science, 2012
- Developing UPPAAL over 15 yearsSoftware: Practice and Experience, 2011
- Distributed reachability analysis in timed automataInternational Journal on Software Tools for Technology Transfer, 2003
- Exact Acceleration of Real-Time Model CheckingElectronic Notes in Theoretical Computer Science, 2002
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963
- A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of ObservationsThe Annals of Mathematical Statistics, 1952
- Sequential Tests of Statistical HypothesesThe Annals of Mathematical Statistics, 1945
- THE USE OF CONFIDENCE OR FIDUCIAL LIMITS ILLUSTRATED IN THE CASE OF THE BINOMIALBiometrika, 1934