Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-08-22T16:19:53Z
dc.date.available 2012-08-22T16:19:53Z
dc.date.issued 2011
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/20010
dc.description.abstract 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 Evidencia VErificable", proyecto PDT, DINACYT, Uruguay. Asimismo, algunas actividades de estos proyectos se enmarcaron en un proyecto de cooperación STIC-AMSUD: "ReSeCo: Reliability and Security of Distributed Software Components". El artículo describe esencial y sucintamente los trabajos realizados, las principales publicaciones obtenidas y la formación de recursos humanos en Argentina y Uruguay. es
dc.format.extent 230-233 es
dc.language es es
dc.subject escificación formal es
dc.subject Semantics es
dc.subject sistemas críticos es
dc.subject Semantics of Programming Languages es
dc.subject modelos de seguridad para dispositivos móviles (MIDP) es
dc.subject asistentes de prueba (Coq) es
dc.title Especificación y verificación formal de sistemas críticos es
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-950-673-892-1 es
sedici.title.subtitle Análisis de modelos de seguridad para dispositivos móviles es
sedici.creator.person Luna, Carlos es
sedici.creator.person Betarte, Gustavo es
sedici.description.note Eje: Aspectos teóricos de Ciencias de la Computación es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2011-05
sedici.relation.event XIII Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (139.5Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)