Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles

Este documento presenta resultados generados principalmente en el marco de una línea de investigación que involucra a dos proyectos de investigación: "Especificación formal y verificación de sistemas críticos", SeCyT-FCEIA, UNR (ING266), Argentina; y "STEVE: Seguridad a Través de Evid...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Luna, Carlos, Betarte, Gustavo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
escificación formal
Semantics
sistemas críticos
Semantics of Programming Languages
modelos de seguridad para dispositivos móviles (MIDP)
asistentes de prueba (Coq)
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20010
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares