Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador

Mostrar todas las versiones(3)

Los sistemas de tiempo real están presentes en dispositivos embebidos, teléfonos celulares, controladores de vuelo, etc. Su complejidad es cada vez mayor, y cada vez cumplen funciones más críticas, donde las consecuencias de sus fallas son cada vez más graves. Por estos motivos tiene sentido realiza...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Schapachnik, Fernando
Formato: Tesis Doctoral
Lenguaje:Inglés
Publicado: 2007
Materias:
AUTOMATAS TEMPORIZADOS
VERIFICACION AUTOMATICA
SISTEMAS DE TIEMPO REAL
COMPUTACION DISTRIBUIDA
COMPUTACION PARALELA
MULTIPROCESADOR
ZEUS
TIMED AUTOMATA
MODEL CHECKING
AUTOMATED VERIFICATION
REAL-TIME SYSTEMS
DISTRIBUTED COMPUTING
PARALLEL COMPUTING
MULTIPROCESSOR
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n4125_Schapachnik
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares