Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
MODEL CHECKING
ANALISIS AUTOMATICO
3
ANALISIS AUTOMATICO DE PROGRAMAS
3
AUTOMATAS TEMPORIZADOS
3
AUTOMATED VERIFICATION
3
AUTOMATIC ANALYSIS
3
BUSINESS PROCESS
3
COBERTURA
3
COMPUTACION DISTRIBUIDA
3
COMPUTACION PARALELA
3
COVERAGE
3
DISTRIBUTED COMPUTING
3
FLUENTES
3
FLUENTS
3
FORMAL VERIFICATION
3
LOGICAS TEMPORALES
3
MULTIPROCESADOR
3
MULTIPROCESSOR
3
PARALLEL COMPUTING
3
PROCESOS DE NEGOCIOS
3
PROGRAM ANALYSIS
3
REAL-TIME SYSTEMS
3
SISTEMAS DE TIEMPO REAL
3
TEMPORAL LOGICS
3
TIMED AUTOMATA
3
VERIFICACION AUTOMATICA
3
VERIFICACION FORMAL
3
WORKFLOWS
3
ZEUS
3
-
1por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
2por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
3
-
4por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
5por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
6
-
7por Schapachnik, FernandoMaterias: “...MODEL CHECKING...”
Publicado 2007
Tesis doctoral publishedVersion -
8por Schapachnik, FernandoMaterias: “...MODEL CHECKING...”
Publicado 2007
Tesis doctoral publishedVersion -
9