Pages that link to "Item:Q5106945"
From MaRDI portal
The following pages link to Statistical model checking of stochastic component-based systems (Q5106945):
Displaying 4 items.
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)