Mostrando
1 - 1
resultados de
1
para buscar '
'
Saltar al contenido
Toggle navigation
Buscar
Sobre SILO
Repositorios
Contacto
Buscar:
Mostrando
1 - 1
resultados de
1
para buscar '
', tiempo de consulta: 0.01s
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Número de clasificación
Autor
Título
1
Reporte técnico
A formal specification of the MIDP 2.0 security model
Autor(es):
Zanella Béguelin, Santiago
;
Betarte Guidi, Gustavo
;
Luna, Carlos
Año:
2006
Institución:
Universidad de la República
Resultados agrupados
Quitar Filtros
Tipo: Reporte técnico
Autor: Betarte Guidi, Gustavo
Temas: MIDP 2.0
Institución
1
Universidad de la República
Autor
Betarte Guidi, Gustavo
1
Luna, Carlos
1
Zanella Béguelin, Santiago
Tipo
Reporte técnico
Temas
1
Calculus of Inductive Constructions
1
Coq
1
Formal specification
MIDP 2.0
1
Security
Año de publicación
desde:
hasta:
×
Cargando...