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.
AUTOMATAS TEMPORIZADOS
3
AUTOMATED VERIFICATION
3
COMPUTACION DISTRIBUIDA
3
COMPUTACION PARALELA
3
DISTRIBUTED COMPUTING
3
MODEL CHECKING
3
MULTIPROCESADOR
3
MULTIPROCESSOR
3
PARALLEL COMPUTING
3
REAL-TIME SYSTEMS
3
SISTEMAS DE TIEMPO REAL
3
TIMED AUTOMATA
3
VERIFICACION AUTOMATICA
3
ZEUS
3
Ciencias Informáticas
1
Formal methods
1
Model checking
1
autómatas temporizados
1
business processes
1
métodos formales
1
procesos de negocios
1
-
1
-
2
-
3por Schapachnik, FernandoMaterias: “...AUTOMATAS TEMPORIZADOS...”
Publicado 2007
Tesis doctoral publishedVersion -
4por Schapachnik, FernandoMaterias: “...AUTOMATAS TEMPORIZADOS...”
Publicado 2007
Tesis doctoral publishedVersion