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.
Verification by model checking
3
Lógicas deónticas
2
Métodos formales
2
Theory of computation
2
Tolerancia a fallas
2
Verificación de software
2
Automata
1
Automata over infinite objects
1
Concurrencia
1
Concurrency
1
Confluencia
1
Determinismo
1
Formal languages and automata theory
1
Logic
1
Models of computation
1
Probabilidades continuas
1
Quantitative automata
1
Simulación
1
Timed and hybrid models
1
-
1por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Monti, Raúl EnriqueMaterias: “...Verification by model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis