OPAC

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

Your search

Document Type: Sin Especificar Subject: Coq

Sort by Score Title Year -

1-8 from 8 results (0.01 seconds)

Title: Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
Author: Luna, Carlos Daniel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Real time / tecnología / Enseñanza de la Programación / Teoría de Tipos / educación / informática / Coq / Programación Funcional / Programación Imperativa / Sistemas Reactivos y de Tiempo Real

Acceder
Title: Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
Author: Martellotto, Paola / Novaira, Maria Marta / Bongiovanni, Mónica / Luna, Carlos Daniel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Real time / formación del profesorado / Coq / Learning / Teoría de Tipos / Enseñanza de Programación

Acceder
Title: Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias
Language: Español
Repository: 65
Subject: Enseñanza de la Programación / Teoría de Tipos / Coq / Programación Funcional / Programación Imperativa / Sistemas Reactivos y de Tiempo Real

Acceder
Title: A formal specification of the MIDP 2.0 security model
Language: in
Repository: 65
Subject: Calculus of Inductive Constructions / Formal specification / MIDP 2.0 / Security / Coq

Acceder
Title: Hacia una especificación formal de un microcontrolador usado en marcapasos
Language: Español
Repository: 65
Subject: Microcontroladores (PICs) / Especificaciones Formales / Coq

Acceder
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: Formally verified countermeasures against cache based attacks in virtualization platforms
Language: Inglés
Repository: 65
Subject: Non-interference / Cache-based attacks / Constant-time cryptography / Stealth memory / Coq / No interferencia / Ataques basados en cache / Criptografía constant-time

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

« Previous 1 Next »