„Statistical model checking“
Suchergebnisse
34 Treffer
-
Resampling methods for checking models and statistical hypotheses – 31.08. - 06.09.2003
-
Faster Statistical Model Checking for Unbounded Temporal Properties
-
Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables
-
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
-
Generation and verification of learned stochastic automata using k-NN and statistical model checking
-
Learning and analysis of sensors behavior in IoT systems using statistical model checking
-
Learning and statistical model checking of system response times
-
Kullback–Leibler divergence for Bayesian nonparametric model checking
-
Bayesian model checking in cognitive diagnostic models
-
An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems
-
Minimum distance model checking in Berkson measurement error models with validation data
-
Model checking software – 20th international symposium ; proceedings
-
Automated parameter estimation for biological models using Bayesian statistical model checking
-
Improved statistical model checking methods for pathway analysis