A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
65
(3)
Show More
Show Less
Author
Show More
Show Less
Subject
MIDP
(3)
Coq
(2)
Android
(1)
Dispositivos Móviles Interactivos
(1)
Dispositivos móviles
(1)
Especificaciones Formales
(1)
Especificación y Verificación Formal
(1)
Interactive Mobile Devices
(1)
Java Micro Edition
(1)
Modelo de Seguridad
(1)
Show More
Show Less
Year
1202
(3)
2014
(3)
2008
(1)
2009
(1)
2013
(1)
Show More
Show Less
Document Type
Sin Especificar
(3)
Show More
Show Less
Language
Español
(3)
Show More
Show Less
Your search
Subject:
MIDP
Repository:
65
Year:
1202
Sort by
Score
Title
Year
-
1-3 from
3
results
(0.009 seconds)
Title:
Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Language:
Español
Repository:
65
Subject:
Java Micro Edition
/
Interactive Mobile Devices
/
Modelo de Seguridad
/
Especificaciones Formales
/
MIDP
/
Coq
Acceder
Title:
Autorización de Acceso en MIDP 3.0
Language:
Español
Repository:
65
Subject:
Dispositivos Móviles Interactivos
/
MIDP
/
Especificación y Verificación Formal
/
Teoría de Tipos
/
Coq
Acceder
Title:
Descripción y análisis del modelo de seguridad de Android
Language:
Español
Repository:
65
Subject:
Dispositivos móviles
/
Seguridad
/
Android
/
MIDP
Acceder
« Previous
1
Next »