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 Repository: 37

Sort by Score Title Year -

1-2 from 2 results (0.01 seconds)

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 »