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

Query: PROGRAM Document Type: Sin Especificar Repository: 65 Year: 1202 Year: 2014 Year: 2007

Sort by Score Title Year -

1-1 from 1 results (0.008 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

« Previous 1 Next »