Refine your Search
Author
Subject
Year
Language
11-17 from 17 results
(0.026 seconds)
-
Title: Verification of Structured Processes: A Method Based on an Unsoundness ProfileLanguage: InglésRepository: 37Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification
-
Title: Model checking RAISE applicative specificationsAuthor: Perna, Juan I. / George, Chris W.Language: InglésRepository: 37Subject: Ciencias Informáticas / Model checking / Formal methods / Verification
-
Title: Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma EthereumLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / blockchain / Ethereum / smart contract / Solidity / Vyper / static analysis tool / Verification / security patterns
-
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax treesAuthor: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel AlfredoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security
-
Title: Verificación del hablante mediante dispositivos móviles en entornos ruidososAuthor: Etchart, Graciela / Ruíz, Silvia / Miranda, Ernesto / Aguirre, Juan José / Herlein, Mauro / Alvez, Carlos E.Language: EspañolRepository: 37Subject: Ciencias Informáticas / Verification / biometría de voz / dispositivos móviles
-
Title: Avances en reuso orientado a serviciosAuthor: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, AlanLanguage: EspañolRepository: 37
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723