Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Statistical model checking
Estimation
2
Mean time to first failure
2
Model checking
2
Partial verification
2
Probabilistic model checking
2
Probability
2
Quantitative measures
2
Quantitativemodelling
2
Reliability estimation
2
Systematic exploration
2
Turnaround time
2
Análisis de árboles de fallas
1
Confiabilidad de sistemas
1
Fault tree analysis
1
Nondeterminism
1
Rare event simulation
1
Sampling
1
Simulación de eventos raros
1
System reliability
1
-
1
-
2
-
3por Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, Mariëlle
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
4