Skip navigation
Home
Browse
Communities
& Collections
List Items by:
Issue Date
Author
Title
Subject
Help
In some words
Fast Help
FAQ
Authors Help
Institutional
Objetives
Benefits
Resources
About us
Contact
Staff
BiDYA
Sign on to:
My Space
Receive email
updates
Edit Profile
Search
english
español
Colibri
Facultad de Ingeniería
Search
Advanced search
Search:
All of Colibri
Facultad de Ingeniería
Instituto de Computación
Reportes Técnicos
Tesis de grado
Tesis de posgrado
for
Current filters:
Title
Author
Subject
Date Issued
Classification
Advisor
Agreement number
Partner organization
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Classification
Advisor
Agreement number
Partner organization
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 20 (Search time: 0.006 seconds).
previous
1
2
next
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
previous
1
2
next
Discover
Author
7
Betarte Guidi, Gustavo
3
Calegari, Daniel
2
Campo, Juan Diego
2
López, Horacio
2
Mazeikis, Gustavo
2
Sierra Abbate, Luis Ricardo
.
next >
Subject
5
Coq
3
Java Micro Edition
3
MIDP
2
Calculus of Inductive Constructions
2
Especificaciones Formales
2
Interactive Mobile Devices
.
next >
Date issued
8
2010 - 2014
12
2000 - 2009