Listar por Materia Coq
Mostrando resultados 1 a 8 de 8
| Fecha de publicación | Título | Autor(es) |
| 2006 | A formal specification of the MIDP 2.0 security model | Zanella Béguelin, Santiago; Betarte, Gustavo; Luna, Carlos |
| 2009 | Autorización de Acceso en MIDP 3.0 | Mazeikis, Gustavo; Luna, Carlos |
| 2011 | Cooq :plug-in de Coq para Eclipse | Betancor Peregalli, María de los Milagros; Pelèz Iglesias, Daniel Alejandro; Torterolo Besio, Manuel |
| 2024 | Especificación formal de un modelo de consentimiento para el control de acceso a datos personales. | Lartigau, Bruno |
| 2016 | Formally verified countermeasures against cache based attacks in virtualization platforms | Campo, Juan |
| 2008 | Hacia una especificación formal de un microcontrolador usado en marcapasos | Luna, Carlos; Echenique, Paula; Sierra Abbate, Luis Ricardo |
| 2008 | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 | Mazeikis, Gustavo; Betarte, Gustavo; Luna, Carlos |
| 2005 | Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias | Luna, Carlos |
