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.
Logic
Asistente de Prueba
2
Coq
2
Formal Verification
2
Logic and verification
2
Lógicas Dinámicas
2
Lógicas Modales
2
Modal and temporal logics (High Relevance)
2
Theory of computation
2
Verificación Formal
2
Automata
1
Automata over infinite objects
1
Concurrencia
1
Concurrency
1
Confluencia
1
Determinismo
1
Formal languages and automata theory
1
Models of computation
1
Probabilidades continuas
1
Quantitative automata
1
Simulación
1
Timed and hybrid models
1
Verification by model checking
1
-
1por Trucco, Francisco CarlosMaterias: “...Verificación Formal...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
2por Trucco, Francisco CarlosMaterias: “...Verificación Formal...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3por Monti, Raúl EnriqueMaterias: “...Formal languages and automata theory...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis