Skip navigation
Inicio
Listar
Comunidades
Listar Items por:
Fecha Publicación
Autor
Título
Materia
Ayuda
En pocas palabras
Ayuda Convenios
Ayuda Rápida
Preguntas Frecuentes
Apoyo a autores
Institucional
Objetivos
Beneficios
Recursos
Somos
Contacto
Equipo de Trabajo
BiDYA
Ingresar
Mi Espacio
Alertas
Editar perfil
Buscar
english
español
Colibri
Facultad de Ingeniería
Buscar
Búsqueda avanzada
Buscar:
Todo Colibri
Facultad de Ingeniería
Instituto de Computación
Reportes Técnicos
Tesis de grado
Tesis de posgrado
por
Filtros actuales:
Título
Autor
Materia
Fecha de Publicación
Clasificación
Palabras clave
Descriptores
Tutor
Número de Convenio
Contraparte
Iguales
Contiene
ID
Diferente a
No Contiene
ID distinto a
Título
Autor
Materia
Fecha de Publicación
Clasificación
Palabras clave
Descriptores
Tutor
Número de Convenio
Contraparte
Iguales
Contiene
ID
Diferente a
No Contiene
ID distinto a
Comenzar una nueva búsqueda
Agregar filtros:
Usar filtros para refinar el resultado de la búsqueda.
Título
Autor
Materia
Fecha de Publicación
Clasificación
Palabras clave
Descriptores
Tutor
Número de Convenio
Contraparte
Iguales
Contiene
ID
Diferente a
No Contiene
ID distinto a
Resultados 1-10 de 12.
Anterior
1
2
Siguiente
Resultados por ítem:
Fecha de publicación
Título
Autor(es)
2008
A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Crespo, Juan Manuel
;
Betarte, Gustavo
;
Luna, Carlos
2009
Análisis formal del estándar NIST para modelos RBAC
Luna, Carlos
;
Rosa, Cristian D
2009
Estado del arte de lenguajes y herramientas de transformación de modelos
López, Horacio
;
Veresi, Fernando
;
Viñolo, Marcelo
;
Calegari, Daniel
;
Luna, Carlos
2007
Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Betarte, Gustavo
;
Luna, Carlos
;
Sierra Abbate, Luis Ricardo
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
2009
Autorización de Acceso en MIDP 3.0
Mazeikis, Gustavo
;
Luna, Carlos
2006
A formal specification of the MIDP 2.0 security model
Zanella Béguelin, Santiago
;
Betarte, Gustavo
;
Luna, Carlos
2008
A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Roushani Oskui, Ramin
;
Betarte, Gustavo
;
Luna, Carlos
2005
Programación 2 :experiencias y propuestas
Alliaume, Javier
;
Luna, Carlos
;
Pedemonte, Martín
;
Viera, Marcos
2008
Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Mazeikis, Gustavo
;
Betarte, Gustavo
;
Luna, Carlos
Anterior
1
2
Siguiente
Descubrir
Autor
5
Betarte, Gustavo
2
Mazeikis, Gustavo
2
Sierra Abbate, Luis Ricardo
1
Alliaume, Javier
1
Calegari, Daniel
1
Crespo, Juan Manuel
.
siguiente >
Fecha de publicación
3
2009
4
2008
1
2007
1
2006
2
2005
1
2000
.
siguiente >
Palabras claves
5
Coq
3
Java Micro Edition
2
Calculus of Inductive Constructions
2
Especificaciones Formales
2
Interactive Mobile Devices
2
MIDP
.
siguiente >