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 Document Type: Sin Especificar Language: Español Year: 2005

Sort by Score Title Year -

1-2 from 2 results (0.011 seconds)

Title: Verificación de propiedades temporales de diseños community: un caso de estudio
Author: Aguirre, Nazareno Matías / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification

Acceder
Title: Hacia la composición paralela de programas en DynAlloy
Author: Aguirre, Nazareno Matías / Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Formal methods / lenguaje de especificaciones / Verification / validación de propiedades / operador para composición paralela / Validation

Acceder

« Previous 1 Next »