Colibri: Search

Search

Results 1-10 of 20 (Search time: 0.006 seconds).

Item hits:

Issue Date	Title	Author(s)
2005	Programación 2 :experiencias y propuestas	Alliaume, Javier; Luna, Carlos; Pedemonte, Martín; Viera, Marcos
2005	Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias	Luna, Carlos
2008	Hacia una especificación formal del modelo de seguridad de MIDP 3.0	Mazeikis, Gustavo; Betarte Guidi, Gustavo; Luna, Carlos
2013	Descripción y análisis del modelo de seguridad de Android	Romano, Agustín; Luna, Carlos
2006	A formal specification of the MIDP 2.0 security model	Zanella Béguelin, Santiago; Betarte Guidi, Gustavo; Luna, Carlos
2008	A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices	Roushani Oskui, Ramin; Betarte Guidi, Gustavo; Luna, Carlos
2012	Modelos de memoria en entornos de virtualización	Chimento, Jesús Mauricio Martín; Luna, Carlos; Betarte Guidi, Gustavo; Campo, Juan Diego
2008	A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices	Crespo, Juan Manuel; Betarte Guidi, Gustavo; Luna, Carlos
2011	Estado del arte de testing de transformaciones de modelos	López, Leonardo; Pintos, Leonardo; Calegari, Daniel; Luna, Carlos
2000	Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example	Luna, Carlos