Colibri: Search

Search

Results 1-7 of 7 (Search time: 0.006 seconds).

Item hits:

Issue Date	Title	Author(s)
2005	Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias	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
2008	Hacia una especificación formal del modelo de seguridad de MIDP 3.0	Mazeikis, Gustavo; Betarte Guidi, Gustavo; Luna, Carlos
2006	A formal specification of the MIDP 2.0 security model	Zanella Béguelin, Santiago; Betarte Guidi, Gustavo; Luna, Carlos
2008	Hacia una especificación formal de un microcontrolador usado en marcapasos	Luna, Carlos; Echenique, Paula; Sierra Abbate, Luis Ricardo
2009	Autorización de Acceso en MIDP 3.0	Mazeikis, Gustavo; Luna, Carlos
2016	Formally verified countermeasures against cache based attacks in virtualization platforms	Campo, Juan