OPAC

Your search

Query: FORMAL LANGUAGES Document Type: Sin Especificar Year: 2014 Repository: 65 Language: Español

Sort by Score Title Year -

1-10 from 29 results (0.014 seconds)

Title: Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Language: Español
Repository: 65
Subject: Software Program Verification / Formal Methods / Correctness Proofs / Model Checking / Métodos Formales / Verificación de Sistemas Embebidos / Especificación y Prueba Asistida de Propiedades.

Acceder
Title: Análisis formal del estándar NIST para modelos RBAC
Language: Español
Repository: 65
Subject: Standard NIST / Análisis Formal / Role Based Access Control

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: Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Language: Español
Repository: 65
Subject: UNIX-COMPATIBILIDAD / SISTEMAS OPERATIVOS

Acceder
Title: Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.
Language: Español
Repository: 65
Subject: OBJECT ORIENTED SYSTEMS / PRIMITIVAS DE MODIFICACION DE ESTADOS

Acceder
Title: Demencia y cuidados : estudio sobre la figura del cuidador formal y la incidencia del estigma de la demencia sobre las condiciones laborales
Language: Español
Repository: 65
Subject: DEMENCIA / CALIDAD DE VIDA / ENFERMEDAD DE ALZHEIMER / CONDICIONES DE TRABAJO

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: 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
Title: Marco teórico para evaluar taxonomías de defectos
Language: Español
Repository: 65
Subject: Taxonomías / Taxonomías de defectos de software / Comparación de taxonomías

Acceder
Title: Jóvenes de la periferia : trayectorias educativas y expectativas de vida
Language: Español
Repository: 65
Subject: Rol del psicólogo / Educación inicial / Instituciones educativas / Jóvenes de la periferia / Subjetividad / Producción deseante

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search