OPAC

Your search

Query: FORMAL LANGUAGES Repository: 65 Year: 1202 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 28 results (0.011 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: 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 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: Hacia una especificación formal de un microcontrolador usado en marcapasos
Language: Español
Repository: 65
Subject: Microcontroladores (PICs) / Especificaciones Formales / Coq

Acceder
Title: Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language: Inglés
Repository: 65
Subject: Modelos formales / Prioridades de seguridad / Asistente de pruebas Coq / JME-MIDP / Virtualización / DNSSEC

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: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

Acceder
Title: Institution-based semantics for MOF and QVT-relations :Extended version
Language: in
Repository: 65
Subject: MOF / QVT-relations / Semántica formal / Teoría de instituciones / Verificación formal

Acceder

« Previous 1 2 3 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search