Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-08-22T16:19:53Z
dc.date.available 2012-08-22T16:19:53Z
dc.date.issued 2011
dc.identifier.uri http://hdl.handle.net/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 p. 230-233 es
dc.language es 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 A. 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.subject.keyword escificación formal es
sedici.subject.keyword sistemas críticos es
sedici.subject.keyword modelos de seguridad para dispositivos móviles (MIDP) es
sedici.subject.keyword asistentes de prueba (Coq) es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) 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 es
sedici.relation.event XIII Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es
sedici.subject.acmcss98 Semantics es
sedici.subject.acmcss98 Semantics of Programming Languages es


Files in this item

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)