3

Reporte técnico

Análisis formal del estándar NIST para modelos RBAC

Autor(es): Luna, Carlos; Rosa, Cristian D
Año: 2009
Institución: Universidad de la República
4

Reporte técnico

Autorización de Acceso en MIDP 3.0

Autor(es): Mazeikis, Gustavo; Luna, Carlos
Año: 2009
Institución: Universidad de la República
6

Reporte técnico

Estado del arte de verificación de transformación de modelos

Autor(es): López, Horacio; Varesi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
Año: 2010
Institución: Universidad de la República
7

Reporte técnico

Estado del arte de testing de transformaciones de modelos

Autor(es): López, Leonardo; Pintos, Leonardo; Calegari, Daniel; Luna, Carlos
Año: 2011
Institución: Universidad de la República
8

Reporte técnico

Modelos de memoria en entornos de virtualización

Autor(es): Chimento, Jesús Mauricio Martín; Luna, Carlos; Betarte Guidi, Gustavo; Campo, Juan Diego
Año: 2012
Institución: Universidad de la República
9

Reporte técnico

Descripción y análisis del modelo de seguridad de Android

Autor(es): Romano, Agustín; Luna, Carlos
Año: 2013
Institución: Universidad de la República
10

Reporte técnico

Programación 2 :experiencias y propuestas

Autor(es): Alliaume, Javier; Luna, Carlos; Pedemonte, Martín; Viera, Marcos
Año: 2005
Institución: Universidad de la República
11

Reporte técnico

Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias

Autor(es): Luna, Carlos
Año: 2005
Institución: Universidad de la República
13

Reporte técnico

Hacia una especificación formal de un microcontrolador usado en marcapasos

Autor(es): Luna, Carlos; Echenique, Paula; Sierra Abbate, Luis Ricardo
Año: 2008
Institución: Universidad de la República
14

Reporte técnico

Hacia una especificación formal del modelo de seguridad de MIDP 3.0

Autor(es): Mazeikis, Gustavo; Betarte Guidi, Gustavo; Luna, Carlos
Año: 2008
Institución: Universidad de la República

Resultados agrupados

Quitar Filtros
Otro: spa Autor: Luna, Carlos
Año de publicación