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

Subject: Verification Language: Español Document Type: Tesis

Sort by Score Title Year -

1-3 from 3 results (0.009 seconds)

Title: Informe de Proyecto de Grado para optar por el título de Ingeniero Electrónico
Author: Amaya Tejera, Nazhir Jesús
Language: Español
Repository: 57
Subject: HAR’D Snow / Verificación / Validación / Pruebas / Soluciones Tecnológicas / HAR'D Snow / Verification / Validation / Testing / Technology Solutions

Acceder
Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: Contribuciones a la verificación funcional moderna
Author: Goñi, Oscar Enrique
Language: Español
Repository: 37
Subject: Ciencias Informáticas / punto flotante / Verification / Computer arithmetic / análisis de resolución / HIL / Simulation / HDL

Acceder

« Previous 1 Next »