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: Software Program Verification Language: Español

Sort by Score Title Year -

631-638 from 638 results (0.034 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: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
Author: De Vito, María Cecilia / Osella Massa, Germán Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification

Acceder
Title: Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
Author: Argañaraz, Mauro C. / Berón, Mario / Rangel Henriques, Pedro / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / blockchain / Ethereum / smart contract / Solidity / Vyper / static analysis tool / Verification / security patterns

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
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
Title: Verificación del hablante mediante dispositivos móviles en entornos ruidosos
Author: Etchart, Graciela / Ruíz, Silvia / Miranda, Ernesto / Aguirre, Juan José / Herlein, Mauro / Alvez, Carlos E.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Verification / biometría de voz / dispositivos móviles

Acceder
Title: Avances en reuso orientado a servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Reusable Software / Web-based services / Software quality assurance (SQA) / Validation / Verification

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

« Previous 56 57 58 59 60 61 62 63 64 Next »