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
Otros Autores: Braberman, Víctor
Formato: Tesis doctoral publishedVersion
Lenguaje:Inglés
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 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
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=aextesis&d=tesis_n4125_Schapachnik_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares