Listar por Materia Modelos formales
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2014 | Formal analysis of security models for mobile devices, virtualization platforms and domain name systems | Luna, Carlos |